Media type: Book Title: Decidable sentences for context-free groups Contributor: Madlener, Klaus [Author]; Otto, Friedrich [Other] imprint: Kaiserslautern: Fachbereich Informatik, Univ., 1990 Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 20200 Extent: 11 Bl Language: English RVK notation: SS 5550 : Universität Kaiserslautern: Fachbereich Informatik: Interner Bericht SI 715 : Universität (Kaiserslautern). Fachbereich Informatik: Interner Bericht Keywords: Decidability (Mathematical logic) ; Rewriting systems (Computer science) ; Bericht Origination: Footnote: Interner Bericht. Fachbereich Informatik, Universität Kaiserslautern. 202
Departmental Library DrePunct – stack Shelf-mark: 95 4 52078 001 Item ID: 10011157 Status: Loanable, place order > Ordering possible ‒ please log in