Semilinear Separators

Reutenauer, 1990

Summary

Christophe Reutenauer (1990) The Mathematics of Petri Nets Prentice Hall/Masson

BibTeX entry

@BOOK { Reutenauer90, AUTHOR = { Christophe Reutenauer }, TITLE = { The Mathematics of Petri Nets }, PUBLISHER = { Prentice Hall/Masson }, YEAR = { 1990 }, }

Main

Latest NewsRSS

Latest Publications

Sylvain Schmitz (2014) Implicational Relevance Logic is 2-EXPTIME-Complete Research Report arXiv:1402.0705 [cs.LO]Computing Research Repository (URL) (BibTeX)
Christoph Haase (2014) Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy Research Report arXiv:1401.5266 [cs.LO]Computing Research Repository (URL) (BibTeX)
Ranko Lazić and Sylvain Schmitz (2014) Non-Elementary Complexities for Branching VASS, MELL, and Extensions Research Report arXiv:1401.6785 [cs.LO]Computing Research Repository (URL) (BibTeX)
Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max Kanovich, and Joël Ouaknine (2014) Foundations for Decision Problems in Separation Logic with General Inductive Predicates FoSSaCS 2014 Anca Muscholl Springer (To appear) (BibTeX)

Project ReacHard is funded by ANR decision ANR 11 BS02 001 01.