Eintrag weiter verarbeiten
Induction on Concurrent Terms
Gespeichert in:
Zeitschriftentitel: | Electronic Notes in Theoretical Computer Science |
---|---|
Personen und Körperschaften: | |
In: | Electronic Notes in Theoretical Computer Science, 196, 2008, S. 37-51 |
Medientyp: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |