Konferenzschrift | Kongress
Term rewriting and applications : 17th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540368342
3540368345
- Dimensions
-
24 cm
- Extent
-
XIII, 414 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 4098
- Keyword
-
Reduktionssystem
Termersetzungssystem
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2006
- Contributor
-
Pfenning, Frank
RTA (17 : 2006 : Seattle, Wash.)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:15 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Pfenning, Frank
- RTA (17 : 2006 : Seattle, Wash.)
- Springer
Time of origin
- 2006
Other Objects (12)
Term rewriting and applications : 18th international conference ; proceedings
Term rewriting and applications : 16th international conference ; proceedings
Termersetzungssysteme : Term Rewriting
Rewriting techniques and applications : 20th international conference ; proceedings
Rewriting techniques and applications : 11th international conference ; proceedings
Rewriting techniques and applications : 6th international conference ; proceedings
Rewriting techniques and applications : 12th international conference ; proceedings
Rewriting techniques and applications : 14th international conference ; proceedings
Rewriting techniques and applications : 8th international conference ; proceedings
Rewriting techniques and applications : 13th international conference ; proceedings
Rewriting techniques and applications : 10th international conference ; proceedings
Rewriting techniques and applications : 19th international conference ; proceedings
Term rewriting and applications : 18th international conference ; proceedings
Term rewriting and applications : 16th international conference ; proceedings
Termersetzungssysteme : Term Rewriting
Rewriting techniques and applications : 20th international conference ; proceedings
Rewriting techniques and applications : 11th international conference ; proceedings
Rewriting techniques and applications : 6th international conference ; proceedings
Rewriting techniques and applications : 12th international conference ; proceedings
Rewriting techniques and applications : 14th international conference ; proceedings
Rewriting techniques and applications : 8th international conference ; proceedings
Rewriting techniques and applications : 13th international conference ; proceedings
Rewriting techniques and applications : 10th international conference ; proceedings
Rewriting techniques and applications : 19th international conference ; proceedings
Term rewriting and applications : 18th international conference ; proceedings
Term rewriting and applications : 16th international conference ; proceedings
Termersetzungssysteme : Term Rewriting
Rewriting techniques and applications : 20th international conference ; proceedings
Rewriting techniques and applications : 11th international conference ; proceedings
Rewriting techniques and applications : 6th international conference ; proceedings
Rewriting techniques and applications : 12th international conference ; proceedings
Rewriting techniques and applications : 14th international conference ; proceedings
Rewriting techniques and applications : 8th international conference ; proceedings
Rewriting techniques and applications : 13th international conference ; proceedings
Rewriting techniques and applications : 10th international conference ; proceedings