Skip to contents

Seuren, Pieter A. M. [Author]

The logic of language - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford [u.a.]: Oxford Univ. Press, 2010

Published in: Seuren, Pieter A. M.: Language from within. ; 2
Goguen, Joseph A. [Author]; Malcolm, Grant [Author]

Algebraic semantics of imperative programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 1996

Published in: Foundations of computing
Kamp, Hans [Author]; Reyle, Uwe [Author]

From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory - [Reprinted]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht: Springer-Science+Business Media, B.V., 1993

Published in: Studies in linguistics and philosophy ; 42
Felleisen, Matthias [Author]; Findler, Robert Bruce [Author]; Flatt, Matthew [Author]

Semantics engineering with PLT Redex

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 2009
Bjoerner, Dines [Editor]; Bjørner, Dines [Other]; Henson, Martin C. [Other]

Logics of specification languages

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2008

Published in: Monographs in theoretical computer science : an EATCS series
Fauconnier, Gilles [Author]

Mental spaces : aspects of meaning construction in natural language

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge: Cambridge Univ. Press, 1994
Stenlund, Sören [Other]; Kanger, Stig [Honoree]

Logical theory and semantic analysis : essays dedicated to Stig Kanger on his fiftieth birthday

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Reidel, 1974

Published in: Synthese <Dordrecht> / Library ; 6300
Breugel, Franck van [Author]

Comparative metric semantics of programming languages : nondeterminism and recursion

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston; Basel; Berlin: Birkhäuser, 1998

Published in: Progress in theoretical computer science
Moore, Robert C. [Author]

Logic and representation - [1. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stanford, Calif: Center for the Study of Language and Information, 1995

Published in: Stanford University: CSLI lecture notes ; 39
Corradini, Andrea [Editor] ; CALCO 4 2011 Winchester

Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6859
Bjoerner, Dines [Editor] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: Lecture notes in computer science ; 735
Prinz, Andreas [Author]

Formal semantics for SDL : definition and implementation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Professoren des Inst. für Informatik, 2001

Published in: Informatik-Berichte ; 15500
Hajičová, Eva [Author]

Negace a presupozice ve významové stavbě věty

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Praha: Academia, 1975

Published in: Studie a práce linguistické ; 11
Brookes, Stephen D. [Editor] ; International Conference on the Mathematical Foundations of Programming Semantics 9 1993 New Orleans, La

Mathematical foundations of programming semantics : 9th International Conference [on the Mathematical Foundations of Programming Semantics], New Orleans, LA, USA, April 7 - 10, 1993; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 802
Bosch, Peter [Editor]; Gabelaia, David [Other]; Lang, Jérôme [Other] ; International Tbilisi Symposium on Logic, Language, and Computation 7 2007 T'bilisi

Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1 - 5, 2007; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5422
Ballweg, Joachim [Editor] ; Institut für Deutsche Sprache, Symposium Grammatik und Logik 1979 Mannheim

Grammatik und Logik - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: Pädagog. Verl. Schwann, 1980

Published in: Institut für Deutsche Sprache: Jahrbuch ... ; 1979 - Sprache der Gegenwart ; 50
Barthe, Gilles [Editor] ; International Summer School on Applied Semantics 2000 Caminha

Applied semantics : international summer school ; advanced lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2395
Miller, Philip H. [Author]

Strong generative capacity : the semantics of linguistic formalism

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stanford, Calif.: CSLI Publications, 1999

Published in: Stanford University: CSLI lecture notes ; 103
Fülöp, Zoltán [Author]; Vogler, Heiko [Author]

Syntax-directed semantics : formal models based on tree transducers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Monographs in theoretical computer science
Best, Eike [Author]

Semantik : Theorie sequentieller und paralleler Programmierung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig; Wiesbaden: Vieweg, 1995

Published in: Lehrbücher Informatik

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication