Linear logic based calculi for object Petri nets

Dissertation, Universität Hamburg, 2000

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Farwer, Berndt (VerfasserIn)
Körperschaften:	Universität Hamburg (Grad-verleihende Institution), Universität Hamburg Fakultät für Mathematik, Informatik und Naturwissenschaften (BerichterstatterIn), Universität Hamburg Fachbereich Informatik (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Hamburg Logos-Verlag 2000 Berlin 2000
Schlagworte:	Hochschulschrift > Petri-Netz > Lineare Logik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Dissertation, Universität Hamburg, 2000 Literaturverz. S. 175 - 184
Beschreibung:	Dissertation am Fachbereich Informatik, Fakultät für Mathematik, Informatik und Naturwissenschaften, Universität Hamburg angenommen Universität Hamburg, Fachbereich Informatik ist die Hochschulschrift betreuende Institution Dissertation am Fachbereich Informatik, Universität Hamburg angenommen
Beschreibung:	III, 187 Seiten Diagramme 21 cm
ISBN:	3897225395 3-89722-539-5