Cover Image
Read Now

1
by Meduna, Alexander
Published 2000
Springer London
Table of Contents: “...INTRODUCTION: Languages. Formalization of Languages. Expressions and Grammars. Translations...”
Cover Image
Read Now

2
by Dean, Neville
Published 2003
Macmillan Education UK
Table of Contents: “...Preface -- Language, Logic and Symbols -- Compound Propositions -- Propositional Forms -- Natural...”
Cover Image
Read Now

3
Published 1962
Springer Netherlands
Table of Contents: “... Sprache in Erkenntnistheoretischer Hinsicht -- Some Remarks Concerning Languages, Calculuses, and Logic...”
Cover Image
Read Now

4
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...of Volume 2 -- 1. Complexity: A Language-Theoretic Point of View -- 2. Parsing of Context-Free...”
Cover Image
Read Now

5
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...of Volume 1 -- 1. Formal Languages: an Introduction and a Synopsis -- 2. Regular Languages -- 3...”
Cover Image
Read Now

6
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- Verifying a protocol using relativized bisimulation -- On recent trends in formal language theory -- Non...”
Cover Image
Read Now

7
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Questions of decidability for context-free chain code picture languages -- Chomsky hierarchy...”
Cover Image
Read Now

8
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... coordination architecture -- Enhancing coordination and modularity mechanisms for a language with objects...”
Cover Image
Read Now

9
Published 1998
Springer New York
Table of Contents: “...1 Introduction -- 2 A Survey of Visual Language Specification and Recognition -- 3 Visual Language...”
Cover Image
Read Now

10
by O'Hearn, Peter, Tennent, Robert
Published 1997
Birkhäuser
Table of Contents: “...I Historical Background -- 1 Revised Report on the Algorithmic Language ALGOL 60 -- 2 The Varieties...”
Cover Image
Read Now

11
by O'Hearn, Peter, Tennent, Robert
Published 1997
Birkhäuser
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

12
Published 2004
Springer US
Table of Contents: “... and Simulation -- Languages for Formal Methods -- Linking Architectural and Component Level System Views...”
Cover Image
Read Now

13
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Language with Mobile Mixins -- On Calculi for Context-Aware Coordination -- Probabilistic and Prioritized...”
Cover Image
Read Now

14
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- The Cost of Communication Protocols and Coordination Languages in Embedded Systems -- Operational Semantics...”
Cover Image
Read Now

16
by Wybraniec-Skardowska, U.
Published 1991
Springer Netherlands
Table of Contents: “... Languages -- The Theory TSC?-L of Categorial ?-languages -- Dual Theories...”
Cover Image
Read Now

17
Published 1977
Springer Berlin Heidelberg
Table of Contents: “... machines -- The contextsensitivity bounds of contextsensitive grammars and languages -- Serial composition...”
Cover Image
Read Now

18
Published 1976
Springer Berlin Heidelberg
Table of Contents: “... parallel programs correct -- The programming language concurrent pascal -- Guarded commands, non...”
Cover Image
Read Now

19
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- Zeta functions of recognizable languages -- Dynamic programming on graphs with bounded treewidth...”
Cover Image
Read Now

20
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... of Knuth-Bendix algorithm -- Tradeoffs for language recognition on parallel computing models -- Rational...”