System function languages

DOI10.1002/malq.19930390140zbMath0805.03028MaRDI QIDQ4304119

M. B. Thuraisingham

Publication date: 5 February 1995

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

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

zbMATH Keywords

independence; dependence; recursively enumerable sets; combinatorial decision problem; system function language

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

03B25: Decidability of theories and sets of sentences

03D20: Recursive functions and relations, subrecursive hierarchies

03D25: Recursively (computably) enumerable sets and degrees

Cites Work

• Combinatorial systems. I: Cylindrical problems
• Unnamed Item