Loading…
ALGEBRAIC APPROACHES TO PROGRAM SEMANTICS /
Saved in:
| Main Author: | Manes, Ernest G. |
|---|---|
| Other Authors: | Arbib, Michael A. |
| Format: | Book |
| Language: | English |
| Published: |
Berlin :
Springer,
1986
|
| Online Access: |
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Loading…
Algebraic semantics /
by: Guessarian, Iréna
Published: (1981)
by: Guessarian, Iréna
Published: (1981)
Loading…
A structural approach to operational semantics /
by: Plotkin, Gordon D.
Published: (1981)
by: Plotkin, Gordon D.
Published: (1981)
Loading…
Formal semantics of programming languages /
Published: (1972)
Published: (1972)
Loading…
Mathematical foundations of programming semantics : international conference ; Manhattan, Kansas, April 11 - 12, 1985 /
by: Abdali, S. Kamal
Published: (1986)
by: Abdali, S. Kamal
Published: (1986)
Loading…
On urban land information systems. A semantic approach to analysis and design /
by: Makkonen, Kirsi
Published: (1984)
by: Makkonen, Kirsi
Published: (1984)
Loading…
Computer semantics : studies of algorithms, processors and languages /
by: Lee, John A. N.
Published: (1972)
by: Lee, John A. N.
Published: (1972)
Loading…
Journal of Literary Semantics : An International Review
Published: (1972)
Published: (1972)
Loading…
Semantics, around and beyond : an introductory course /
by: Kavka, Stanislav J. 1946-
Published: (2015)
by: Kavka, Stanislav J. 1946-
Published: (2015)
Loading…
Computational semantics : an introduction to artificial intelligence and natural language comprehension /
Published: (1975)
Published: (1975)
Loading…
Applied semantic web technologies /
Published: (2012)
Published: (2012)
Loading…
Metadata for semantic and social applications
by: Greenberg, Jane, et al.
Published: (2008)
by: Greenberg, Jane, et al.
Published: (2008)
Loading…
Retrieval from semantic memory /
by: Noordman-Vonk, Wietske
Published: (1979)
by: Noordman-Vonk, Wietske
Published: (1979)
Loading…
Program correctness over abstract data types, with error-state semantics /
by: Tucker, John V.
Published: (1988)
by: Tucker, John V.
Published: (1988)
Loading…
ALGEBRAIC AND LOGIC PROGRAMMING /
by: Bergstra, J. A.
Published: (1988)
by: Bergstra, J. A.
Published: (1988)
Loading…
Semantics of data types : Internat. symp., Sophia-Antipolis, France, /
by: Burstall, R.
Published: (1984)
by: Burstall, R.
Published: (1984)
Loading…
Semantics, Pragmatics and Meaning Revisited The Case of Conditionals /
by: Sztencel, Magdalena
Published: (2018)
by: Sztencel, Magdalena
Published: (2018)
Loading…
The logico-algebraic approach to quantum mechanics.
Published: (1975)
Published: (1975)
Loading…
An algebraic approach to non-classical logics.
by: Rasiowa, Helena
Published: (1974)
by: Rasiowa, Helena
Published: (1974)
Loading…
Semantic data modeling in relational environments /
by: Bekke, Johannes Hendrikus ter
Published: (1991)
by: Bekke, Johannes Hendrikus ter
Published: (1991)
Loading…
Semantics. Foundations and applications : Proceedings, Beekbergen, The Netherlands, June 1 - 4, 1992 /
by: Back, R. J. R.
Published: (1993)
by: Back, R. J. R.
Published: (1993)
Loading…
Semantics of concurrent computation : proceedings of the international symposium, Evian, July 2-4. 1979, France /
by: Pnueli, Amir
Published: (1979)
by: Pnueli, Amir
Published: (1979)
Loading…
The Semantics of Gradability, Vagueness, and Scale Structure Experimental Perspectives /
Published: (2018)
Published: (2018)
Loading…
A Lexical Semantic Study of Chinese Opposites
by: Ding, Jing
Published: (2018)
by: Ding, Jing
Published: (2018)
Loading…
Modeling with Rules Using Semantic Knowledge Engineering
by: Nalepa, Grzegorz J.
Published: (2018)
by: Nalepa, Grzegorz J.
Published: (2018)
Loading…
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Published: (2018)
Published: (2018)
Loading…
Pronouns in Embedded Contexts at the Syntax-Semantics Interface
Published: (2018)
Published: (2018)
Loading…
Bridging the Semantic Gap in Image and Video Analysis
Published: (2018)
Published: (2018)
Loading…
A programming approach to computability /
by: Kfoury, A. J.
Published: (1982)
by: Kfoury, A. J.
Published: (1982)
Loading…
A structured approach to programming /
by: Hughes, Joan K., et al.
Published: (1977)
by: Hughes, Joan K., et al.
Published: (1977)
Loading…
Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
by: Pierro, Alessandra Di
Published: (1996)
by: Pierro, Alessandra Di
Published: (1996)
Loading…
The ASCIS data flow graph. Semantics and textual format /
by: Eijndhoven, J. T. J. van
Published: (1991)
by: Eijndhoven, J. T. J. van
Published: (1991)
Loading…
On formal semantics of object systems with data and object attributes /
by: Parnitzke, Daniel
Published: (2001)
by: Parnitzke, Daniel
Published: (2001)
Loading…
Boundaries Crossed, at the Interfaces of Morphosyntax, Phonology, Pragmatics and Semantics
Published: (2018)
Published: (2018)
Loading…
Engineering mathematics. A programmed approach /
by: Evans, C. W.
Published: (1997)
by: Evans, C. W.
Published: (1997)
Loading…
Fortran programming. A spiral approach /
by: Kreitzberg, Charles B.
Published: (1975)
by: Kreitzberg, Charles B.
Published: (1975)
Loading…
Inorganic nomenclature. A programmed approach /
by: Lingren, Wesley E.
Published: (1980)
by: Lingren, Wesley E.
Published: (1980)
Loading…
Computers and programming a neoclassical approach /
by: Olivieri, Peter, et al.
Published: (1975)
by: Olivieri, Peter, et al.
Published: (1975)
Loading…
The implementation of a system description language and its semantic functions /
by: Reeuwijk, Cornelis van
Published: (1991)
by: Reeuwijk, Cornelis van
Published: (1991)
Loading…
Semantic integration of heterogeneous formal specifications via transformation systems /
by: Grosse-Rhode, Martin
Published: (2001)
by: Grosse-Rhode, Martin
Published: (2001)
Loading…
Spreading Activation, Lexical Priming and the Semantic Web Early Psycholinguistic Theories, Corpus Linguistics and AI Applications /
by: Pace-Sigge, Michael
Published: (2018)
by: Pace-Sigge, Michael
Published: (2018)
Similar Items
-
Algebraic semantics /
by: Guessarian, Iréna
Published: (1981) -
A structural approach to operational semantics /
by: Plotkin, Gordon D.
Published: (1981) -
Formal semantics of programming languages /
Published: (1972) -
Mathematical foundations of programming semantics : international conference ; Manhattan, Kansas, April 11 - 12, 1985 /
by: Abdali, S. Kamal
Published: (1986) -
On urban land information systems. A semantic approach to analysis and design /
by: Makkonen, Kirsi
Published: (1984)