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: 1.

Ohsaki, Hitoshi ; Middeldorp, A. ; Giesl, J. (2000):
Equational termination by semantic labelling.
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, Berlin (u.a.), Springer, [Conference or Workshop Item]

This list was generated on Sat Dec 4 05:59:45 2021 CET.