scientific article
From MaRDI portal
Publication:3425576
zbMATH Open1108.68107MaRDI QIDQ3425576
Publication date: 26 February 2007
Title of this publication is not available (Why is that?)
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3425576)
