Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 3.
Konferenzveröffentlichung
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
Giesl, Jürgen ; Middeldorp, A. (1999)
Transforming context-sensitive rewrite systems.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum