Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND Volume=215
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Green's theorem and isolation in planar graphs
Raghunath Tewari
,
N.V. Vinodchandran
Information and Computation
215
, 2012, pp. 1-7
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Marie-Laure Mugnier
,
Geneviève Simonet
,
Michaël Thomazo
Information and Computation
215
, 2012, pp. 8-31
Non-uniform cellular automata: Classes, dynamics, and decidability
Alberto Dennunzio
,
Enrico Formenti
,
Julien Provillard
Information and Computation
215
, 2012, pp. 32-46
A new look at the automatic synthesis of linear ranking functions
Roberto Bagnara
,
Fred Mesnard
,
Andrea Pescetti
,
Enea Zaffanella
Information and Computation
215
, 2012, pp. 47-67
Multiset rewriting for the verification of depth-bounded processes with name binding
Fernando Rosa-Velardo
,
María Martos-Salgado
Information and Computation
215
, 2012, pp. 68-87