Näytetään tulokset 1 - 5 / 5
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Input-driven pushdown automata: nondeterminism and unambiguity

Vertaisarvioitu
Alexander Okhotin, Kai Salomaa
Austrian Computer Society2013 Julkaisujen tiedon ikoni

Ambiguity, Nondeterminism and State Complexity of Finite Automata

Vertaisarvioitu
DOI
10.14232/actacyb.23.1.2017.9
Yo-Sub Han, Arto Salomaa, Kai Salomaa
Acta Cybernetica2017 Julkaisujen tiedon ikoni

Locally checkable proofs in distributed computing

Vertaisarvioitu
Avoin saatavuus
DOI
10.4086/toc.2016.v012a019
Göös, Mika; Suomela, Jukka
THEORY OF COMPUTING2016 Julkaisujen tiedon ikoni

A! -A Cooperative Heuristic Search Algorithm

Vertaisarvioitu
Halme, Antti
-2014 Julkaisujen tiedon ikoni

Redundancy in distributed proofs

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/s00446-020-00386-z
Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor
DISTRIBUTED COMPUTING2020

Input-driven pushdown automata: nondeterminism and unambiguity

Vertaisarvioitu
2013

Ambiguity, Nondeterminism and State Complexity of Finite Automata

Vertaisarvioitu
DOI
10.14232/actacyb.23.1.2017.9
2017

Locally checkable proofs in distributed computing

Vertaisarvioitu
Avoin saatavuus
DOI
10.4086/toc.2016.v012a019
2016

A! -A Cooperative Heuristic Search Algorithm

Vertaisarvioitu
2014

Redundancy in distributed proofs

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/s00446-020-00386-z
2020