Binary extensions of S1S and the composition method

DOI10.1007/B12001MaRDI QIDQ5305660zbMATH OpenOpenAlexFDO

Authors Enrico Marzano, Angelo Montanari, Alberto Policriti

Publication date 23 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b12001

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• scientific article; zbMATH DE number 626030
• Decidability of S1S and S2S
• scientific article; zbMATH DE number 1841832
• An Extension of Muchnik's Theorem
• scientific article; zbMATH DE number 30615

This page was built for publication: Binary extensions of S1S and the composition method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5305660)