sign in · help · news · about ·

BibSonomy :: author :: Kontinen ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(24)

<< < 1 | 2 > >>

Complexity of Two-Variable Dependence Logic and IF-Logic.
Juha Kontinen, Antti Kuusisto, Peter Lohmann, and Jonni Virtema LICS, page 289-298. IEEE Computer Society, (2011)
to dblp by dblp and 1 other user on Jan 20, 2012, 12:00 AM
URL | BibTeX
Dependence logic with a majority quantifier.
Arnaud Durand, Johannes Ebbing, Juha Kontinen, and Heribert Vollmer FSTTCS, volume 13 of LIPIcs, page 252-263. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
to dblp by dblp and 1 other user on Dec 13, 2011, 12:00 AM
URL | BibTeX
Hierarchies in Dependence Logic
Arnaud Durand, and Juha Kontinen CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Dependence logic with a majority quantifier
Arnaud Durand, Johannes Ebbing, Juha Kontinen, and Heribert Vollmer CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Complexity of two-variable Dependence Logic and IF-Logic
Juha Kontinen, Antti Kuusisto, Peter Lohmann, and Jonni Virtema CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Mobile E-Commerce: Challenges for Global Co-Operation.
Kalevi Kontinen ECIS, page 4-10. (2001)
to dblp by dblp on Nov 23, 2011, 12:00 AM
URL | BibTeX
Team Logic and Second-Order Logic.
Juha Kontinen, and Ville Nurmi Fundam. Inform. 106(2-4):259-272 (2011)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Texture Features in the Classification of Melanocytic Lesions.
Jukka Kontinen, Juha Röning, and Rona M. MacKie ICIAP 2, volume 1311 of Lecture Notes in Computer Science, page 453-460. Springer, (1997)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Juha Kontinen, and Heribert Vollmer Logical Methods in Computer Science (2010)
to dblp by dblp on Jun 6, 2011, 12:00 AM
URL | BibTeX
Characterizing Definability of Second-Order Generalized Quantifiers.
Juha Kontinen, and Jakub Szymanik WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 187-200. Springer, (2011)
to dblp by dblp on May 9, 2011, 12:00 AM
URL | BibTeX
Erratum to: On Definability in Dependence Logic.
Juha Kontinen, and Jouko A. Väänänen Journal of Logic, Language and Information 20(1):133-134 (2011)
to dblp by dblp on Jan 25, 2011, 12:00 AM
URL | BibTeX
A Remark on Negation in Dependence Logic.
Juha Kontinen, and Jouko A. Väänänen Notre Dame Journal of Formal Logic 52(1):55-65 (2011)
to dblp by dblp on Jan 13, 2011, 12:00 AM
URL | BibTeX
Distance Factors in the Foreign Market Entry of Software SMEs.
Arto Ojala, and Tanja Kontinen ICSOB, volume 51 of Lecture Notes in Business Information Processing, page 49-62. Springer, (2010)
to dblp by dblp on Dec 15, 2010, 12:00 AM
URL | BibTeX
Extensions of MSO and the monadic counting hierarchy.
Juha Kontinen, and Hannu Niemistö Inf. Comput. 209(1):1-19 (2011)
to dblp by dblp on Nov 21, 2010, 12:00 AM
URL | BibTeX
Definability of second order generalized quantifiers.
Juha Kontinen Arch. Math. Log. 49(3):379-398 (2010)
to dblp by dblp on Oct 26, 2010, 12:00 AM
URL | BibTeX
The hierarchy theorem for second order generalized quantifiers.
Juha Kontinen J. Symb. Log. 71(1):188-202 (2006)
to dblp by dblp on Jul 21, 2010, 3:46 PM
URL | BibTeX
On Definability in Dependence Logic.
Juha Kontinen, and Jouko A. Väänänen Journal of Logic, Language and Information 18(3):317-332 (2009)
to dblp by dblp on Dec 15, 2009, 12:00 AM
URL | BibTeX
A Remark on Collective Quantification
Juha Kontinen, and Jakub Szymanik Journal of Logic, Language and Information 17(2):131--140 (April 2008)
to computation, lexical, natural\_language, semantic by djsaab and 1 other user on Dec 11, 2009, 11:34 PM
URL | DOI | BibTeX
Preservation of biosignatures in metaglassy volcanic rocks from the Jormua ophiolite complex, Finland
H. Furnes, N. R. Banerjee, K. Muehlenbachs, and A. Kontinen PRECAMBRIAN RESEARCH 136(2):125--137 (2005)
to imported by svance on Nov 3, 2009, 8:21 PM
BibTeX
Team Logic and Second-Order Logic.
Juha Kontinen, and Ville Nurmi WoLLIC, volume 5514 of Lecture Notes in Computer Science, page 230-241. Springer, (2009)
to dblp by dblp on Jun 12, 2009, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100

a gripper