default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 215
Volume 215, June 2012
- Raghunath Tewari, N. V. Vinodchandran:
Green's theorem and isolation in planar graphs. 1-7 - Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo:
On the complexity of entailment in existential conjunctive first-order logic with atomic negation. 8-31 - Alberto Dennunzio, Enrico Formenti
, Julien Provillard:
Non-uniform cellular automata: Classes, dynamics, and decidability. 32-46 - Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella:
A new look at the automatic synthesis of linear ranking functions. 47-67 - Fernando Rosa-Velardo, María Martos-Salgado:
Multiset rewriting for the verification of depth-bounded processes with name binding. 68-87
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-21 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
