Weak Cost Automata over Infinite Trees

Weak Cost Automata over Infinite Trees

書誌詳細
第一著者:	Boom, M
フォーマット:	学位論文
出版事項:	2012

類似資料

Weak cost automata over infinite trees
著者:: Vanden Boom, M
出版事項: (2012)

Weak Cost Monadic Logic over Infinite Trees
著者:: Boom, M
出版事項: (2011)

Two−way cost automata and cost logics over infinite trees
著者:: Blumensath, A, 等
出版事項: (2014)

Quasi−Weak Cost Automata: A New Variant of Weakness
著者:: Kuperberg, D, 等
出版事項: (2011)

The Emptiness Problem for Automata on Infinite Trees
著者:: Hossley, Robert, 等
出版事項: (2023)

The Emptiness and Complementation Problems for Automata on Infinite Trees
著者:: Rackoff, Charles Weill
出版事項: (2023)

On the Expressive Power of Cost Logics over Infinite Words
著者:: Kuperberg, D, 等
出版事項: (2012)

Weak cost register automata are still powerful
著者:: Almagor, S, 等
出版事項: (2018)

Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability
著者:: Christel Baier, 等
出版事項: (2009-07-01)

Automata−based presentations of infinite structures
著者:: Barany, V, 等
出版事項: (2010)

Power of Randomization in Automata on Infinite Strings
著者:: Rohit Chadha, 等
出版事項: (2011-09-01)

An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet
著者:: Alexis Bès
出版事項: (2008-03-01)

Finite Tree Automata and W-Automata
著者:: Hossley, Robert
出版事項: (2023)

Weak Alternating Timed Automata
著者:: Pawel Parys, 等
出版事項: (2012-09-01)

Applications in Enumerative Combinatorics of Infinite Weighted Automata and Graphs
著者:: R. De Castro, 等
出版事項: (2014-06-01)

Decision Problems for Deterministic Pushdown Automata on Infinite Words
著者:: Christof Löding
出版事項: (2014-05-01)

Crisp-determinization of weighted tree automata over strong bimonoids
著者:: Zoltán Fülöp, 等
出版事項: (2021-06-01)

Weak equivalence of higher-dimensional automata
著者:: Thomas Kahl
出版事項: (2021-05-01)

Trees over Infinite Structures and Path Logics with Synchronization
著者:: Alex Spelten, 等
出版事項: (2011-11-01)

Deciding the weak definability of Büchi definable tree languages
著者:: Colcombet, T, 等
出版事項: (2013)

Reachability Problem for Weak Multi-Pushdown Automata
著者:: Wojciech Czerwiński, 等
出版事項: (2013-09-01)

Choice functions and well-orderings over the infinite binary tree
著者:: Carayol Arnaud, 等
出版事項: (2010-08-01)

Minimisation of multiplicity tree automata
著者:: Worrell, J, 等
出版事項: (2017)

Minimisation of Multiplicity Tree Automata
著者:: Stefan Kiefer, 等
出版事項: (2017-03-01)

Pushing for weighted tree automata
著者:: Thomas Hanneforth, 等
出版事項: (2018-01-01)

Deterministic Automata for Unordered Trees
著者:: Adrien Boiret, 等
出版事項: (2014-08-01)

Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems
著者:: Puppis, G
出版事項: (2010)

A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
著者:: Klaus Aehlig
出版事項: (2007-07-01)

Weak gardens of Eden for 1-dimensional tessellation automata
著者:: Michael D. Taylor
出版事項: (1985-01-01)

Expected-Delay-Summing Weak Bisimilarity for Markov Automata
著者:: Alessandro Aldini, 等
出版事項: (2015-09-01)

Weak factor automata: the failure of failure factor oracles?
著者:: Loek Cleophas, 等
出版事項: (2014-08-01)

Test derivation based on tree FSMs and tree automata
著者:: Maria Forostyanova
出版事項: (2018-10-01)

Visibly Tree Automata with Memory and Constraints
著者:: Hubert Comon-Lundh, 等
出版事項: (2008-06-01)

Topological properties of cellular automata on trees
著者:: Gabriele Fici, 等
出版事項: (2012-08-01)

On Tree Pattern Matching by Pushdown Automata
著者:: T. Flouri
出版事項: (2009-01-01)

Some weak covering properties and infinite games
著者:: Sakai Masami
出版事項: (2014-02-01)

Infinite distances and the axion weak gravity conjecture
著者:: Thomas W. Grimm, 等
出版事項: (2020-03-01)

Costs and rewards in priced timed automata
著者:: Fränzle, M, 等
出版事項: (2020)

Costs and rewards in priced timed automata
著者:: Fränzle, M, 等
出版事項: (2018)

Complexity of equivalence and learning for multiplicity tree automata
著者:: Marusic, I, 等
出版事項: (2015)