Eintrag weiter verarbeiten
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
Gespeichert in:
Zeitschriftentitel: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Personen und Körperschaften: | , |
In: | Electronic Proceedings in Theoretical Computer Science, 44, 2010, S. 35-50 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Open Publishing Association
|
Schlagwörter: |