scientific article; zbMATH DE number 7297809
From MaRDI portal
Publication:5144609
zbMath1452.03089MaRDI QIDQ5144609
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3329996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40) Higher-order logic (03B16)
Related Items (1)
This page was built for publication:
