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="B{\'a}r{\'a}ny, Vince"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Rewriting guarded negation queries
Vince Bárány
,
Michael Benedikt
,
Balder ten Cate
Lecture Notes in Computer Science
8087
, 2013, pp. 98-110
Decidable classes of documents for XPath
Vince Bárány
,
Mikolaj Bojanczyk
,
Diego Figueira
,
Pawel Parys
Leibniz International Proceedings in Informatics (LIPIcs)
18
, 2012, pp. 99-111
Finite satisfiability for guarded fixpoint logic
Vince Bárány
,
Mikoƚaj Bojańczyk
Information Processing Letters
112
(10), 2012, pp. 371-375
Guarded negation
Vince Bárány
,
Balder ten Cate
,
Luc Segoufin
Lecture Notes in Computer Science
6756
, 2011, pp. 356-367
Semi-synchronous transductions
Vince Bárány
Acta Informatica
46
(1), 2009, pp. 29-42
Cardinality and counting quantifiers on omega-automatic structures
Łukasz Kaiser
,
Sasha Rubin
,
Vince Bárány
Leibniz International Proceedings in Informatics (LIPIcs)
1
, 2008, pp. 385-396