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: Author="Bova, Simone"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Generic expression hardness results for primitive positive formula comparison
Simone Bova
,
Hubie Chen
,
Matthew Valeriote
Information and Computation
222
, 2013, pp. 108-120
Polynomial space hardness without disjunction property
Simone Bova
,
Franco Montagna
Theoretical Computer Science
467
, 2013, pp. 1-11
On the expression complexity of equivalence and isomorphism of primitive positive formulas
Simone Bova
,
Hubie Chen
,
Matthew Valeriote
Theory of Computing Systems
50
(2), 2012, pp. 329-353
Generic expression hardness results for primitive positive formula comparison
Simone Bova
,
Hubie Chen
,
Matthew Valeriote
Lecture Notes in Computer Science
6756
, 2011, pp. 344-355
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
Simone Bova
,
Franco Montagna
Theoretical Computer Science
410
(12-13), 2009, pp. 1143-1158