Konferenzschrift | Kongress

Rewriting techniques and applications : 14th international conference ; proceedings

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540402541
3540402543
Maße
24 cm
Umfang
XI, 514 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; Vol. 2706

Schlagwort
Reduktionssystem

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
(wer)
Springer***5108985
(wann)
2003
Beteiligte Personen und Organisationen
Nieuwenhuis, Robert
RTA (14 : 2003 : Valencia)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 12:06 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Nieuwenhuis, Robert
  • RTA (14 : 2003 : Valencia)
  • Springer***5108985

Entstanden

  • 2003

Ähnliche Objekte (12)