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)