Search alternatives:
semantics monographs » semantics graph, semantics biographic, semantics programs
semantic graphs » semantic graph, semantic gap
Cover Image
Read Now

1
by Fülöp, Zoltan, Vogler, Heiko
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 1.1 Syntax-Directed Semantics -- 1.2 Tree Transducers -- 1.3 Theory...”
Cover Image
Read Now

2
by Pym, David J.
Published 2002
Springer Netherlands
Table of Contents: “.... Algebraic, Topological, Categorical -- 4. Kripke Semantics -- 5. Topological Kripke Semantics -- 6...”
Cover Image
Read Now

3
by Schmidt, Gunther, Ströhlein, Thomas
Published 1993
Springer Berlin Heidelberg
Table of Contents: “..., Bounds, and Suprema -- 3.4 References -- 4. Heterogeneous Relations -- 4.1 Bipartite Graphs -- 4.2...”
Cover Image
Read Now

4
by RAATZ.
Published 1990
Birkhäuser
Table of Contents: “...Preliminaries -- A Semantics for the Hornlog System -- The Hornlog Proof Procedure -- Soundness...”
Cover Image
Read Now

5
by Janicki, Ryszard, Lauer, Peter E.
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Basic COSY Syntax and Semantics -- 2.2 VFS Semantics of COSY -- 2.3. Petri Net Semantics of COSY -- 2.4...”
Cover Image
Read Now

6
by Waite, William M., Goos, Gerhard
Published 1984
Springer New York
Table of Contents: “... Traversal Strategies -- 8.3 Implementation Considerations -- 8.4 Notes and References -- 9 Semantic Analysis...”
Cover Image
Read Now

7
by Guttag, John V., Horning, James J.
Published 1993
Springer New York
Table of Contents: “... -- 6.1 The relation between LM3 and Modula-3 -- 6.2 The LM3 semantic model -- 6.3 A guided tour through...”
Cover Image
Read Now

8
by Fejer, Peter A., Simovici, Dan A.
Published 1991
Springer New York
Table of Contents: “... Under Relations -- 2.6 Relations and Directed Graphs -- 2.7 Special Classes of Relations -- 2.8...”
Cover Image
Read Now

9
Published 2021
Springer International Publishing
Table of Contents: “... General Axiomatizations for Bisimilarity and Trace Semantics -- Monographs, a Category of Graph Structures...”
Cover Image
Read Now

10
by Sippu, Seppo, Soisalon-Soininen, Eljas
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- Exercises -- Bibliographic Notes -- 2. Algorithms on Graphs -- 2.1 Basic Algorithms -- 2.2 Finding Strongly...”
Cover Image
Read Now

11
by Cornell Way, E.
Published 1991
Springer Netherlands
Table of Contents: “.... Representation Schemes and Conceptual Graphs -- 5. The Dynamic Type Hierarchy Theory of Metaphor -- 6...”
Cover Image
Read Now

12
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... for an Electronically Digitized Archive of Historical Monographs -- Considerations on the Preservation of Base Digital...”
Cover Image
Read Now

13
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... Ontological Graphs -- Predicting the Presence of Serious Coronary Artery Disease Based on 24 Hour Holter ECG...”
Cover Image
Read Now

14
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Composite Services in DAML-S: the Behavior-Oriented Design of an Intelligent Semantic Web -- 4. Designing...”
Cover Image
Read Now

15
by Lavrač, Nada, Podpečan, Vid, Robnik-Šikonja, Marko
Published 2021
Springer International Publishing
Table of Contents: “... -- Propositionalization of Relational Data -- Graph and Heterogeneous Network Transformations -- Unified Representation...”
Cover Image
Read Now

16
by Bradfield, J.C.
Published 1992
Birkhäuser
Table of Contents: “... and infinite systems -- 1.4 Synopsis -- 2. Program Logics and the Mu-Calculus -- 2.1 Semantics of temporal...”
Cover Image
Read Now

17
by Hibbard, P., Hisgen, A., Rosenberg, J., Shaw, M.
Published 1981
Springer New York
Table of Contents: “... Graph Package Providing an Iterator -- 4. A Console Driver for a PDP-11 -- 5. Table Creation and Table...”
Cover Image
Read Now

18
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... in Information Systems -- 7 Properties of Decision Rules -- 8 Decision Tables and Flow Graphs -- 9 Illustrative...”