Skip to contents

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
Ronchi Della Rocca, Simona [Author]; Paolini, Luca [Author]

The parametric lambda calculus : a metamodel for computation

Close

Bookmarks

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

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

Published in: Texts in theoretical computer science - an EATCS series
Stephan, Werner [Author]

Ein allgemeiner Ansatz zum Nachweis der Äquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen

Close

Bookmarks

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

1981
Gordon, Andrew D. [Editor]; Pitts, Andrew M. [Other] ; Workshop on Higher Order Operational Techniques in Semantics 1995 Cambridge

Higher order operational techniques in semantics : HOOTS - [1. publ.]

Close

Bookmarks

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

Cambridge [u.a.]: Cambridge Univ. Pr., 1998

Published in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 12
Best, Eike [Author]; Devillers, Raymond [Author]; Koutny, Maciej [Author]

Petri net algebra

Close

Bookmarks

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

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

Published in: Monographs in theoretical computer science
George, Chris W. [Editor]; Liu, Zhiming [Other]; Woodcock, Jim [Other] ; Training School on Domain Modelling and Duration Calculus 2007 Schanghai

Domain modeling and the duration calculus : International Training School, Shanghai, China, September 17-21, 2007 ; advanced lectures

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 4710
Buth, Karl-Heinz [Author]

Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems

Close

Bookmarks

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

Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9414
Hennessy, Matthew [Author]

The semantics of programming languages : an elementary introduction using structural operational semantics

Close

Bookmarks

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

Chichester [u.a.]: Wiley, 1990
Rust, Heinrich [Author]

Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3456
Martin, Christian Georg [Author]

Ontologie der Selbstbestimmung : eine operationale Rekonstruktion von Hegels "Wissenschaft der Logik"

Close

Bookmarks

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

Tübingen: Mohr Siebeck, [2012]

Published in: Collegium metaphysicum ; 5
Wichmann, Stefan [Author]

Wie Kinder über das Denken denken : eine kognitions- und entwicklungspsychologische Analyse repräsentationaler und operationaler Anforderungen praktischer Schlüsse

Close

Bookmarks

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

Frankfurt am Main; Berlin [u.a.]: Lang, 1996

Published in: Europäische Hochschulschriften / 6 ; 555
Stamm, Christopher [Author]

Implementierung eines generischen Interpreters für Termersetzungssysteme höherer Ordnung auf Basis einer strukturellen operationalen Semantik

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/2873

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2004
Pentchev, Hristo [Author]

Sound semantics of a high-level language with interprocessor interrupts

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, Januar 2016
Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

Adequacy of compositional translations for observational semantics

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/34433

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2009-02-28
Schmidt-Schauß, Manfred [Author]; Machkasova, Elena [Author]

A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/34429

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2009-07-23
Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

Adequacy of compositional translations for observational semantics

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/192

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2008-02-19
Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

Adequacy of compositional translations for observational semantics

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/34430

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2008-04-15
Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

Adequacy of compositional translations for observational semantics

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/34431

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2008-07-10
Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

Adequacy of compositional translations for observational semantics

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/34432

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2008-10-14
Schmidt-Schauß, Manfred [Author]; Machkasova, Elena [Author]

A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/191

Show more show less

Close

Bookmarks

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

Publication Server of Goethe University Frankfurt am Main, 2008-02-12

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