Rekursive Wortfunktionen

DOI10.1002/malq.19600061506zbMath0098.24402OpenAlexW4238365745MaRDI QIDQ3278337

Günter Asser

Publication date: 1960

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19600061506

zbMATH Keywords

philosophy and foundation of mathematics

Related Items

Two examples of algorithms, Data representation and computational complexity, Primitiv-Rekursive Funktionen auf Termmengen, Arithmetische Prädikate über einem Bereich endlicher Automaten, On primitive recursive wordfunctions, LAMBDA-REPRESENTABLE FUNCTIONS OVER TERM ALGEBRAS, Modular tree transducers, Admissible representations of effective cpo's, Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems