- A Complete Diagrammatic Calculus for Automata Simulation Thibaut Antoine Robin Piedeleu Alexandra Silva Fabio Zanasi Tue 25 February 2025
- Fixed Point Logics on Hemimetric Spaces David Fernández-Duque Quentin Gougeon Fri 28 April 2023
- NFA reduction algorithms by means of regular inequalities J.-M. Champarnaud F. Coulon Thu 02 November 2017
- Simulation-based Minimization Doron Bustan Orna Grumberg Thu 17 November 2016
- Abstraction in Fixpoint Logic Sjoerd Cranen Maciej Gazda Wieger Wesselink Tim A. C. Willemse Sat 26 March 2016
- Simulations and Antichains for Efficient Handling of Finite Automata Lukas Holik Mon 11 January 2016
- An Algebraic Definition of Simulation Between Programs Robin Milner Thu 12 December 2013
Library Size: 13G (7 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
