TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

Giesl, Jürgen and Middeldorp, A. (2000):
Eliminating dummy elimination.
Berlin (u.a.), Springer, In: CADE-17: International Conference on Automated Deduction <17, 2000, Pittsburgh, PA>: Proceedings. - Berlin (u.a.): Springer, 2000 = Lecture notes in artifical intelligence; 1831. S. 309-323, [Conference or Workshop Item]

Ohsaki, Hitoshi and Middeldorp, A. and Giesl, J. (2000):
Equational termination by semantic labelling.
Berlin (u.a.), Springer, In: CSL'00: Annual Conference of the European Association for Computer Science Logic <2000, Fischbachau/München>: Proceedings. - Berlin (u.a.): Springer, 2000 = Lecture notes in computer science; 1862. S. 457-471, [Conference or Workshop Item]

Giesl, Jürgen and Middeldorp, A. (1999):
Transforming context-sensitive rewrite systems.
Berlin (u.a.), Springer, In: RTA'99: Rewriting techniques and applications: 10th International Conference ; 1999 Trento, Italy ; Proceedings. Hrsg.: P. Narendran. - Berlin (u.a.): Springer, 1999. S. 271-285 (Lecture notes in computer science; 1631), [Conference or Workshop Item]

This list was generated on Sat Aug 17 01:22:09 2019 CEST.