Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Luosto, Kerkko"'
The circuit complexity class DLOGTIME-uniform AC^0 is known to be a modest subclass of DLOGTIME-uniform TC^0. The weakness of AC^0 is caused by the fact that AC^0 is not closed under restricting AC^0-computable queries into simple subsequences of the
Externí odkaz:
http://arxiv.org/abs/2309.06926
We introduce three measures of complexity for families of sets. Each of the three measures, that we call dimensions, is defined in terms of the minimal number of convex subfamilies that are needed for covering the given family: for upper dimension, t
Externí odkaz:
http://arxiv.org/abs/2304.03354
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with intui
Externí odkaz:
http://arxiv.org/abs/1406.6266
Autor:
Haigora, Jevgeni, Luosto, Kerkko
We study first-order as well as infinitary logics extended with quantifiers closed upwards under embeddings. In particular, we show that if a chain of quasi-homogeneous structures is sufficiently long then a given formula of such a logic is eventuall
Externí odkaz:
http://arxiv.org/abs/1401.6682
Autor:
Hella, Lauri, Järvisalo, Matti, Kuusisto, Antti, Laurinharju, Juhana, Lempiäinen, Tuomo, Luosto, Kerkko, Suomela, Jukka, Virtema, Jonni
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and study models of computing that are weaker versions of the widely-studied port-numbering model. In the port-numbering mo
Externí odkaz:
http://arxiv.org/abs/1205.2051
Autor:
Luosto, Kerkko
Publikováno v:
The Journal of Symbolic Logic, 2000 Sep 01. 65(3), 1241-1263.
Externí odkaz:
https://www.jstor.org/stable/2586699
Publikováno v:
The Bulletin of Symbolic Logic, 1996 Dec 01. 2(4), 422-443.
Externí odkaz:
https://www.jstor.org/stable/421173
Publikováno v:
The Journal of Symbolic Logic, 1996 Sep 01. 61(3), 802-817.
Externí odkaz:
https://www.jstor.org/stable/2275786