TY -
BOOK
AU - Madlener, Klaus
AU - Otto, Friedrich
TI -
Decidable sentences for context-free groups
PB - Fachbereich Informatik, Univ.
KW - Decidability (Mathematical logic)
KW - Rewriting systems (Computer science)
KW - Bericht
PY - 1990
N2 - Interner Bericht. Fachbereich Informatik, Universität Kaiserslautern. 202
BT - Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern ; 202
CY - Kaiserslautern
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -