scientific article
From MaRDI portal
Publication:2911613
DOI10.4230/LIPICS.FSTTCS.2011.66zbMATH Open1246.68147MaRDI QIDQ2911613
Denis Kuperberg, Michael Vanden Boom
Publication date: 31 August 2012
Title of this publication is not available (Why is that?)
Related Items (2)
Cost Automata, Safe Schemes, and Downward Closures ⋮ A Characterisation of Pi^0_2 Regular Tree Languages
Recommendations
- Remarks on two-way automata with weak-counters 👍 👎
- Efficient minimization of deterministic weak \(\omega\)-automata 👍 👎
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata 👍 👎
- Weak equivalence of higher-dimensional automata 👍 👎
- On the Way to Alternating Weak Automata 👍 👎
- Verification, Model Checking, and Abstract Interpretation 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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 Q2911613)
