|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Juha Kontinen, Hannu Niemistö |
Extensions of MSO and the monadic counting hierarchy.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Jouko A. Väänänen |
A Remark on Negation in Dependence Logic. |
Notre Dame Journal of Formal Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Juha Kontinen, Jouko A. Väänänen |
Erratum to: On Definability in Dependence Logic. |
Journal of Logic, Language and Information |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Ville Nurmi |
Team Logic and Second-Order Logic. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Durand, Juha Kontinen |
Hierarchies in Dependence Logic |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer |
Dependence logic with a majority quantifier |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema |
Complexity of two-variable Dependence Logic and IF-Logic |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Juha Kontinen, Jakub Szymanik |
Characterizing Definability of Second-Order Generalized Quantifiers. |
WoLLIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema |
Complexity of Two-Variable Dependence Logic and IF-Logic. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer |
Dependence logic with a majority quantifier. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Heribert Vollmer |
On Second-Order Monadic Monoidal and Groupoidal Quantifiers |
Logical Methods in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen |
Definability of second order generalized quantifiers. |
Arch. Math. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Jouko A. Väänänen |
On Definability in Dependence Logic. |
Journal of Logic, Language and Information |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen |
A logical characterization of the counting hierarchy. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Counting hierarchy, majority quantifiers, the 0-1 law, quantifier elimination |
| 1 | Juha Kontinen, Ville Nurmi |
Team Logic and Second-Order Logic. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Jakub Szymanik |
A Remark on Collective Quantification. |
Journal of Logic, Language and Information |
2008 |
DBLP DOI BibTeX RDF |
Collective quantification, Lindström quantifiers, Second-order generalized quantifiers, Type-shifting, Computational complexity, Definability |
| 1 | Juha Kontinen, Heribert Vollmer |
On Second-Order Monadic Groupoidal Quantifiers. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen |
The hierarchy theorem for second order generalized quantifiers. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")