Media type: Book Title: Decidability of first order theory of (N;gößer als,P) for morphic predicates P Contributor: Maes, Arnaud [Author] Published: Kiel: Inst. für Informatik und Praktische Mathematik, 1998 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9806 Extent: 35 S.; graph. Darst Language: English Origination: Footnote: