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!

Keine Ergebnisse!