Eintrag weiter verarbeiten
Buchumschlag von Induction on Concurrent Terms
Verfügbar über Open Access

Induction on Concurrent Terms

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Electronic Notes in Theoretical Computer Science
Personen und Körperschaften: Schack-Nielsen, Anders
In: Electronic Notes in Theoretical Computer Science, 196, 2008, S. 37-51
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Elsevier BV
Schlagwörter: