- Commutative Data Automata Zhilin Wu Mon 20 January 2025
- Reasoning on Words and Trees with Data Diego Figueira Sat 05 October 2013
- LTL with the freeze quantifier and register automata Stéphane Demri Ranko Lazic Tue 04 December 2012
- In the Maze of Data Languages Loris D'Antoni Tue 20 November 2012
- Two-Variable Logic on Words with Data M. Bojanczyk A. Muscholl T. Schwentick L. Segoufin C. David Wed 04 July 2012
- Two-variable logic on data words Mikołaj Bojańczyk Claire David Anca Muscholl Thomas Schwentick Luc Segoufin Sat 30 June 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
- An algebraic approach to data languages and timed languages Patricia Bouyer Antoine Petit Denis Therien Thu 31 May 2012
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
