Conferences in June
ReacHard members have been quite busy presenting papers at conferences this June:
Finkel and Goubault-Larrecq (2012) at Petri nets 2012 in Hamburg,
Karandikar and Schnoebelen (2012) at CSR 2012 in Nizhny Novgorod,
Demri et al (2012) at IJCAR 2012 in Manchester,
and Haddad et al (2012) at LICS 2012 in Dubrovnik.
Postdoc Master PhD Complexity Wqo WSTS BVASS PetriNets Decidability Model-checking First-order Modal
- 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)
- Sylvain Schmitz (2014) Implicational Relevance Logic is 2-EXPTIME-Complete Research Report arXiv:1402.0705 [cs.LO]Computing Research Repository (URL) (BibTeX)
