Linear logic in computer science

Bibliographische Detailangaben

Weitere Verfasser:	Ehrhard, Thomas (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge Cambridge Univ. Press 2004
Schriftenreihe:	London Mathematical Society lecture note series 316
Schlagworte:	Konferenzschrift > Lineare Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!