- A Linear-Time Nominal mu-Calculus with Name Allocation Daniel Hausmann Stefan Milius Lutz Schröder Mon 23 September 2024
- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages Bartek Klin Sławomir Lasota Szymon Toruńczyk Tue 06 April 2021
- A machine-independent characterization of timed languages Mikolaj Bojańczyk Sławomir Lasota Wed 02 October 2013
- Automata with Group Actions Mikolaj Bojanczyk Bartek Klin Slawomir Lasota Wed 02 October 2013
- Fraenkel-Mostowski sets with non-homogeneous atoms Mikołaj Bojańczyk Sławomir Lasota Wed 02 October 2013
- Modelling Infinite Structures with Atoms Mikolaj Bojanczyk Wed 02 October 2013
- Turing Machines with Atoms Mikolaj Bojanczyk Bartek Klin Slawomir Lasota Szymon Torunczyk Wed 02 October 2013
- Nominal Monoids Mikołaj Bojańczyk Tue 03 September 2013
- Nominal Logic Programming James Cheney Wed 17 April 2013
- Imperative Programming in Sets with Atoms Mikolaj Bojanczyk Szymon Torunczyk Mon 28 January 2013
- A New Approach to Abstract Syntax with Variable Binding Murdoch J. Gabbay Andrew M. Pitts Tue 22 January 2013
- Foundations of nominal techniques: logic and semantics of variables in abstract syntax Murdoch James Gabbay Sat 22 September 2012
- Towards nominal computation Mikolaj Bojanczyk Laurent Braud Bartek Klin Slawomir Lasota Tue 12 June 2012
- Relating timed and register automata Diego Figueira Piotr Hofman Sławomir Lasota Sat 02 June 2012
Library Size: 13G (14 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
