Weber, Karl Matthias: A meta-calculus for formal system development
/ Matthias Weber. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 197 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 195)
ISBN 978-3-486-21994-4 / 3-486-21994-4 kart. : DM 52.00
Quelle: DNB
Bittel, Oliver: Ein tableaubasierter Theorembeweiser für die intuitionistische Logik
/ Oliver Bittel. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 184 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 198)
ISBN 978-3-486-22143-5 / 3-486-22143-4 kart. : ca. DM 50.00
Literaturverz. S. 179 - 182
Quelle: DNB
Typed lambda calculi and applications
: proceedings / Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2 - 4, 1997. Philippe de Groote ; J. Roger Hindley (ed.). - Berlin : Springer, 1997. - VIII, 404 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1210)
ISBN 978-3-540-62688-6 / 3-540-62688-3 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Typed lambda calculi and applications
: 4th international conference ; proceedings / TLCA '99, L'Aquila, Italy, April 1999. Jean-Yves Girard (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1581)
ISBN 978-3-540-48959-7
Lizenzpflichtig
Quelle: DNB
Typed lambda calculi and applications
: 5th international conference ; proceedings / TLCA 2001, Kraków, Poland, May 2 - 5, 2001. S. Abramsky (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2044)
ISBN 978-3-540-45413-7
Lizenzpflichtig
Quelle: DNB
Typed lambda calculi and applications
: 8th international conference ; proceedings / TLCA 2007, Paris, France, June 26 - 28, 2007. Simona Ronchi Della Rocca (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4583)
ISBN 978-3-540-73228-0
Lizenzpflichtig
Quelle: DNB
Typed lambda calculi and applications
: proceedings / Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Mariangiola Dezani-Ciancaglini ; Gordon Plotkin (ed.). - Berlin : Springer, 1995. - VIII, 442 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 902)
ISBN 978-3-540-59048-4 / 3-540-59048-X kart. : DM 86.00
Literaturangaben
Quelle: DNB
Typed lambda calculi and applications
: 6th international conference ; proceedings / TLCA 2003, Valencia, Spain, June 10 - 12, 2003. Martin Hoffmann (ed.). - Berlin : Springer***5108985, 2003. - VIII, 315 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2701)
ISBN 978-3-540-40332-6 / 3-540-40332-9 kart. : EUR 49.22
Literaturangaben
Quelle: DNB
Typed lambda calculi and applications
: proceedings / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16 - 18, 1993, Utrecht, The Netherlands. M. Bezem ; J. F. Groote (ed.). - Berlin : Springer, 1993. - VIII, 432 S.; 24 cm - (Lecture notes in computer science; Vol. 664)
ISBN 978-3-540-56517-8 / 3-540-56517-5 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Types in compilation
: second international workshop ; proceedings / TIC '98, Kyoto, Japan, March 1998. Xavier Leroy ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1473)
ISBN 978-3-540-68308-7
Lizenzpflichtig
Quelle: DNB
