Zum Inhalt springen

Kremer, Marion [VerfasserIn]

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hamburg: Kovač, 1996
Krivine, Jean-Louis [VerfasserIn] ; Krivine, Jean Louis [Sonstige Person, Familie und Körperschaft]; Cori, René [Sonstige Person, Familie und Körperschaft]

Lambda-calculus, types and models

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York: Ellis Horwood, 1993 ; Hemel Hempstead: Ellis Horwood, 1993

Erschienen in: Ellis Horwood series in computers and their applications
Weber, Karl Matthias [VerfasserIn] ; Weber, Matthias [Sonstige Person, Familie und Körperschaft]

A meta-calculus for formal system development

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Wien: Oldenbourg, 1991

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195
Abramsky, Samson [HerausgeberIn] ; TLCA 5 2001 Krakau

Typed lambda calculi and applications : 5th international conference, Kraków, Poland, May 2 - 5, 2001 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2044
Groote, Philippe de [Sonstige Person, Familie und Körperschaft]; Hindley, J. Roger [Sonstige Person, Familie und Körperschaft] ; International Conference on Typed Lambda Calculi and Applications 3 1997 Nancy

Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1997

Erschienen in: Lecture notes in computer science ; 1210
Bezem, Marc [HerausgeberIn]; Groote, Jan Friso [Sonstige Person, Familie und Körperschaft] ; International Conference on Typed Lambda Calculi and Applications 1 1993 Utrecht

Typed lambda calculi and applications : proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 664
Bittel, Oliver [VerfasserIn]

Ein tableaubasierter Theorembeweiser für die intuitionistische Logik

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Wien: Oldenbourg, 1991

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 198
Ronchi Della Rocca, Simona [HerausgeberIn] ; TLCA 8 2007 Paris

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26 - 28, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4583
Curien, Pierre-Louis [HerausgeberIn] ; TLCA 9 2009 Brasília

Typed lambda calculi and applications : 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5608
Urzyczyn, Paweł [HerausgeberIn] ; TLCA 7 2005 Nara

Typed Lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21 - 23, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 3461
Hofmann, Martin [HerausgeberIn] ; TLCA 6 2003 Valencia

Typed lambda calculi and applications : 6th international conference, Valencia, Spain, June 10 - 12, 2003 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2701
Girard, Jean-Yves [HerausgeberIn] ; TLCA 4 1999 L'Aquila

Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7 - 9, 1999 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1581
Giménez, Eduardo [Sonstige Person, Familie und Körperschaft] ; International Workshop TYPES 4 1996 Aussois

Types for proofs and programs : selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1998

Erschienen in: Lecture notes in computer science ; 1512
Leroy, Xavier [HerausgeberIn]; Ohori, Atsushi [Sonstige Person, Familie und Körperschaft] ; TIC 2 1998 Kyōto

Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1473
Dezani-Ciancaglini, Mariangiola [HerausgeberIn] ; International Conference on Typed Lambda Calculi and Applications 2 1995 Edinburgh

Typed lambda calculi and applications : second international conference on typed lambda calculi and applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 902
Ong, Luke [HerausgeberIn] ; TLCA 10 2011 Novi Sad

Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6690
Jay, Barry [VerfasserIn]

Pattern calculus : computing with functions and structures

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009
Altenkirch, Thorsten [HerausgeberIn] ; International Conference on Typed Lambda Calculi and Applications 13. 2015 Warschau

13th International Conference on Typed Lambda Calculi and Applications : TLCA’15, July 1-3, 2015, Warsaw, Poland

Online ansehen
Schließen

Zugang

http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=15006

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, July 2015

Erschienen in: Leibniz international proceedings in informatics ; 38
Rossberg, Andreas [Sonstige Person, Familie und Körperschaft]

Dynamic opacity for abstract types

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[S.l.]: Saarländische Universitäts- und Landesbibliothek / Naturwissenschaftlich-Technische Fakultät I, 2004
Giarrusso, Paolo G. [VerfasserIn] ; Eberhard Karls Universität Tübingen

Optimizing and incrementalizing higher-order collection queries by AST transformation

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Tübingen, 2018

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr