A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper). | 0 | 0.34 | 2021 |
DiMo - Discrete Modelling Using Propositional Logic | 0 | 0.34 | 2021 |
Multi-buffer simulations: Decidability and complexity. | 0 | 0.34 | 2018 |
Weighted Restarting Automata and Pushdown Relations. | 1 | 0.40 | 2016 |
A Hierarchy of Transducing Observer Systems. | 0 | 0.34 | 2015 |
Restarting Transducers, Regular Languages, and Rational Relations | 1 | 0.35 | 2015 |
Transducing by observing length-reducing and painter rules. | 2 | 0.45 | 2014 |
Characterizing the rational functions by restarting transducers | 7 | 0.63 | 2012 |
Transducing by Observing and Restarting Transducers. | 2 | 0.44 | 2012 |
Characterizing the regular languages by nonforgetting restarting automata | 5 | 0.47 | 2011 |
Transductions computed by PC-systems of monotone deterministic restarting automata | 3 | 0.42 | 2010 |
Transducing by Observing. | 0 | 0.34 | 2010 |