scientific article; zbMATH DE number 7356856
From MaRDI portal
Publication:4992511
zbMATH Open1464.03038arXiv1307.4472MaRDI QIDQ4992511
Publication date: 9 June 2021
Full work available at URL: https://arxiv.org/abs/1307.4472
Title of this publication is not available (Why is that?)
Automata and formal grammars in connection with logical questions (03D05) Higher-order logic (03B16)
Related Items (6)
Second-order finite automata: expressive power and simple proofs using automatic structures ⋮ Title not available (Why is that?) ⋮ Monadic partition logics and finite automata ⋮ Title not available (Why is that?) ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ Hierarchies of weak automata and weak monadic formulas
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 Q4992511)
