System function languages

From MaRDI portal

Revision as of 19:39, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4304119

Jump to:navigation, search

DOI10.1002/malq.19930390140zbMath0805.03028OpenAlexW2117410087MaRDI 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

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25)

Cites Work

This page was built for publication: System function languages

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4304119&oldid=18241640"