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.

Object type

  • Konferenzschrift
  • Kongress

Associated

  • Pfenning, Frank
  • RTA (17 : 2006 : Seattle, Wash.)
  • Springer

Time of origin

  • 2006

Other Objects (12)