- 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
- An algorithm for the general Petri net reachability problem Ernst W. Mayr Mon 30 September 2013
- On the -language expressive power of extended Petri nets A. Finkel G. Geeraerts J.-F. Raskin L. Van Begin Wed 25 September 2013
- Analyzing probabilistic pushdown automata Tomáš Brázdil Javier Esparza Stefan Kiefer Antonín Kučera Wed 25 September 2013
- Petri Nets and Languages Henry G. Baker Wed 25 September 2013
- Parikh's Theorem: A simple and direct automaton construction Javier Esparza Pierre Ganty Stefan Kiefer Michael Luttenberger Wed 25 September 2013
- Language theory of Petri nets Matthias Jantzen Wed 25 September 2013
- Petri Net Languages and Infinite Subsets of Nm Stéphane Gaubert Alessandro Giua Wed 25 September 2013
- Decidability Questions for Petri Nets M. Hack Wed 25 September 2013
- Randomness for Free Krishnendu Chatterjee Laurent Doyen Hugo Gimbert Thomas A. Henzinger Tue 24 September 2013
- A survey of partial-observation stochastic parity games Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Tue 24 September 2013
- Systematic realisation of control flow analyses for CML Kirsten L. Solberg Gasser Flemming Nielson Hanne Riis Nielson Fri 06 September 2013
- A Transformation System for Developing Recursive Programs R. M. Burstall John Darlington Fri 06 September 2013
- Program development using lambda abstraction Alberto Pettorossi Thu 05 September 2013
- Tupling calculation eliminates multiple data traversals Zhenjiang Hu Hideya Iwasaki Masato Takeichi Akihiko Takano Thu 05 September 2013
- Exact XML type checking in polynomial time Sebastian Maneth Thomas Perst Helmut Seidl Thu 05 September 2013
- New directions in cryptography W. Diffie M. Hellman Tue 03 September 2013
- Nominal Monoids Mikołaj Bojańczyk Tue 03 September 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
