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="Kontinen, Juha"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Complexity of two-variable dependence logic and IF-logic
Juha Kontinen
,
Antti Kuusisto
,
Peter Lohmann
,
Jonni Virtema
Information and Computation
239
, 2014, pp. 237-253
A characterization of definability of second-order generalized quantifiers with applications to non-definability
Juha Kontinen
,
Jakub Szymanik
Journal of Computer and System Sciences
80
(6), 2014, pp. 1152-1162
Dependence logic with a majority quantifier
Arnaud Durand
,
Johannes Ebbing
,
Juha Kontinen
,
Heribert Vollmer
Leibniz International Proceedings in Informatics (LIPIcs)
13
, 2011, pp. 252-263
Extensions of MSO and the monadic counting hierarchy
Juha Kontinen
,
Hannu Niemistö
Information and Computation
209
(1), 2011, pp. 1-19