TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2000 | 1999
Anzahl der Einträge: 3.

2000

Giesl, Jürgen ; Middeldorp, A. (2000)
Eliminating dummy elimination.
Konferenzveröffentlichung, Bibliographie

Ohsaki, Hitoshi ; Middeldorp, A. ; Giesl, J. (2000)
Equational termination by semantic labelling.
Konferenzveröffentlichung, Bibliographie

1999

Giesl, Jürgen ; Middeldorp, A. (1999)
Transforming context-sensitive rewrite systems.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Dec 17 04:07:18 2024 CET generiert.