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 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]

This list was generated on Tue Nov 19 02:21:05 2019 CET.