Eintrag weiter verarbeiten
The reachability problem for Petri nets and decision problems for Skolem arithmetic
Gespeichert in:
Zeitschriftentitel: | Theoretical Computer Science |
---|---|
Personen und Körperschaften: | , |
In: | Theoretical Computer Science, 11, 1980, 2, S. 123-143 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |