TY -
BOOK
AU - Geser, Alfons
TI -
On a monotonic semantic path ordering
PB - Univ., Fak. für Informatik
KW - Rewriting systems (Computer science)
PY - 1992
BT - Ulmer Informatik-Berichte ; 92,13
CY - Ulm
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -