Cover Image
Read Now

81
Published 1991
Springer Berlin Heidelberg
“... systems over them. - Application of discrete structures in computer science: syntax and semantics...”
Cover Image
Read Now

82
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- Label-selective ?-calculus syntax and confluence -- Conventional and uniqueness typing in graph rewrite...”
Cover Image
Read Now

83
by Manna, Zohar, Pnueli, Amir
Published 1995
Springer New York
Table of Contents: “...0: Preliminary Concepts -- 0.1 Fair Transition System -- 0.2 A Programming Language (SPL): Syntax...”
Cover Image
Read Now

84
by Appelt, Wolfgang
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...) -- 5.1 The Abstract Syntax Notation One (ASN.1) -- 5.2 Additional Encoding Rules for ODA Documents -- 6...”
Cover Image
Read Now

85
by Tarlecki, Andrzej
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Syntax and semantics of a monotonic framework for non-monotonic reasoning -- On the cardinality...”
Cover Image
Read Now

86
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...-carrying syntax up to alpha-conversion --...”
Cover Image
Read Now

87
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... for the two person pebble game -- AXE: the syntax driven diagram editor for visual languages used...”
Cover Image
Read Now

88
by Roitzsch, Erich H. Peter
Published 1993
Vieweg+Teubner Verlag
Table of Contents: “...1 Entwicklung von COBOL -- 2 COBOL-Notation (Syntax) -- 3 Die COBOL-Programmstruktur -- 3.1 Die...”
Cover Image
Read Now

89
by Staas, Dieter
Published 1993
Vieweg+Teubner Verlag
Table of Contents: “... Grundlagen -- 21.2 Die drei Grundtypen und ihre Syntax -- 21.3 Pulldown-Menü mit DEFINE MENU -- 21.4 Das...”
Cover Image
Read Now

90
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- An abstract account of composition -- Syntax and semantics of Procol -- Synthesizing distinguishing formulae...”
Cover Image
Read Now

91
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Programs with Restricted Parity Nondeterminism -- On Diving in Trees Thomas Schwentick -- AbstractSyntax...”
Cover Image
Read Now

92
by Nait Abdallah, Areski
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Propositional Logic -- 3 Syntax of the Language of Partial Information Ions -- 3.1 The Language of Partial...”
Cover Image
Read Now

93
by Leszak, Marek, Eggert, Horst
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...9 Anhang B: Syntax und Semantik der Spezifikationssprache ‘PDL‘ (Predicate/Transition Net...”
Cover Image
Read Now

94
by Pagnoni, Anastasia
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- 3.1 Top-Down Development of Plans -- 3.2 Disciplined Planning Syntax -- 4. Planning under Precedence...”
Cover Image
Read Now

95
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... Windowsystemen -- Erfahrungen mit einem syntax- und strukturorientierten SGML-Editor -- Standardschnittstellen...”
Cover Image
Read Now

96
by Böhling, K. H., Spies, P. P.
Published 1979
Springer Berlin Heidelberg
Table of Contents: “... Affix Grammars -- Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level...”
Cover Image
Read Now

97
by Schneider, Fred B.
Published 1997
Springer New York
Table of Contents: “... Temporal Logic -- 3.1 Informal Preview -- 3.2 Syntax and Meaning of Formulas -- 3.3 Axioms and Inference...”
Cover Image
Read Now

98
by Hendrich, Norman
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... Systemaufrufe -- 13.3 Native-code -- Anhänge -- A Java-spezifische HTML-Syntax -- B Die Java JDK...”
Cover Image
Read Now

99
by Ben-Ari, Mordechai
Published 2001
Springer London
Table of Contents: “..., Tableaux -- 11.1 Introduction -- 11.2 Syntax and semantics -- 11.3 Models oftime -- 11.4 Semantic tableaux...”
Cover Image
Read Now

100
by Schneider, Wolfgang
Published 1985
Vieweg+Teubner Verlag
Table of Contents: “... -- 25.3 Anhang A3: Fahrnetze der verwendeten Syntax -- 25.4 Anhang A4: Alphabetische Anordnung der...”