Haku
Viitteet 1-7 / 7
Infinite networks, halting and local algorithms (Draft)
(2013)
- book
The immediate past has witnessed an increasing amount of interest in local algorithms, i.e., constant time distributed graph algorithms. In the recent survey of local algorithms (Suomela, ACM Computing Surveys, 2013), it ...
Modal Logic and Distributed Message Passing Automata (Preliminary Draft)
(2013)
- book
In a recent article, Lauri Hella and co-authors identify a canonical connection between modal logic and deterministic distributed constant-time algorithms. The paper reports a variety of highly natural logical characterizations ...
Modal Logics and Definability
(2013)
- book
In recent years, research into the mathematical foundations of modal logic has become increasingly popular. One of the main reasons for this is the fact that modal logic seems to adapt well to the requirements of a wide ...
Software project management summaries 2013
(Tampereen yliopisto, 2013)
- report
Software projects 2012-2013
(University of Tampere, 2013)
- report
Defining a Double Team Semantics for Generalized Quantifiers (Extended Version)
(Tampereen yliopisto, 2013)
- book
In this brief technical report we sketch a semantics for first-order logic with generalized quantifi ers based on double teams. We also defi ne the notion of a generalized atom. Such atoms can be used in order to defi ne ...
IS Reviews 2013
(Tampereen yliopisto, 2013)
- report