FB 3

AG BKB > Publikationen > Suche >

Deutsch
English

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Artikel in Konferenzband
Autor:	M. Cerioli, A. Haxthausen, B. Krieg-BrÃ¼ckner, T. Mossakowski
Herausgeber:	M. Johnson
Titel:	Permissive Subsorted Partial Logic in CASL
Buch / Sammlungs-Titel:	Algebraic methodology and software technology, 6th international conference, AMAST 97
Seite(n):	91â€“107
Serie / Reihe:	Lecture Notes in Computer Science
Ausgabe:	1349
Erscheinungsjahr:	1997
Verleger:	Springer-Verlag, D-69121 Heidelberg, Germany
Internet:	http://dx.doi.org/10.1007/BFb0000465
PostScript Version:	http://www.informatik.uni-bremen.de/~till/papers/CASLsubsorts.ps
Status:	Reviewed
Letzte Aktualisierung:	04. 08. 2006

Zurück zum Suchergebnis

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023