Search results
From MaRDI portal
- of weighted tree automata over strong bimonoids 2022-09-30 Paper Hybrid tree automata and the yield theorem for constituent tree automata 2022-08-16 Paper...10 bytes (16 words) - 09:57, 8 December 2023
- 2015-09-23 Paper Handling Left-Quadratic Rules When Completing Tree Automata 2015-03-23 Paper Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic...10 bytes (18 words) - 12:18, 11 December 2023
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids 2022-05-10 Paper Weighted Tree Automata and Tree Transducers 2022-04-28...10 bytes (17 words) - 18:21, 9 December 2023
- nondeterminism in regularY-tree systolic automata 1995-12-13 Paper A Kleene-like characterization of languages accepted by systolic tree automata 1995-09-10 Paper...10 bytes (16 words) - 20:13, 8 December 2023
- for Reducing Tree Automata 2014-07-23 Paper COMPOSED BISIMULATION FOR TREE AUTOMATA 2009-08-21 Paper Composed Bisimulation for Tree Automata 2009-02-12 Paper...10 bytes (16 words) - 19:08, 6 October 2023
- minimization of fuzzy tree automata with membership values in complete lattices 2022-05-31 Paper Characterization of tree automata based on quantum logic...10 bytes (16 words) - 18:42, 24 September 2023
- Ambiguity Hierarchies for Weighted Tree Automata 2023-11-24 Paper Disambiguation of weighted tree automata 2022-11-09 Paper On Tree Substitution Grammars 2022-10-13...10 bytes (16 words) - 23:41, 24 September 2023
- Publication Type Synthesizing fuzzy tree automata 2022-07-13 Paper Decidability of the minimization of fuzzy tree automata with membership values in complete...10 bytes (16 words) - 23:59, 24 September 2023
- with Constrained Tree Automata 2008-11-27 Paper Closure of Hedge-Automata Languages by Hedge Rewriting 2008-08-28 Paper Visibly Tree Automata with Memory and...10 bytes (16 words) - 12:42, 7 October 2023
- Weighted tree automata with constraints 2024-02-09 Paper Weighted two-way transducers 2024-02-02 Paper Ambiguity Hierarchies for Weighted Tree Automata 2023-11-24...10 bytes (16 words) - 11:16, 7 October 2023
- Multidigraphs of Tree-Width 2 for Spanning Tree Automata 2016-11-09 Paper Recognition of Labeled Multidigraphs by Spanning Tree Automata 2014-09-26 Paper...10 bytes (16 words) - 12:40, 24 September 2023
- of Tree Automata 2008-06-10 Paper BISIMULATION MINIMIZATION OF TREE AUTOMATA 2008-05-20 Paper Bisimulation Minimisation for Weighted Tree Automata 2007-11-28...10 bytes (16 words) - 09:05, 7 October 2023
- bisimulation minimization of tree automata 2009-09-14 Paper Backward and Forward Bisimulation Minimisation of Tree Automata 2008-06-10 Paper Bisimulation...10 bytes (16 words) - 10:43, 24 September 2023
- Publication Date of Publication Type Hybrid tree automata and the yield theorem for constituent tree automata 2023-10-26 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 01:15, 25 September 2023
- Termination criteria for tree automata completion 2016-12-28 Paper Towards Static Analysis of Functional Programs Using Tree Automata Completion 2015-09-09...10 bytes (16 words) - 12:06, 6 October 2023
- Closure of Deterministic Top-Down Tree Automata 2024-02-16 Paper On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words...10 bytes (17 words) - 22:51, 11 December 2023
- Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories 2013-06-20 Paper Rigid tree automata and applications 2011-07-27...10 bytes (16 words) - 06:44, 7 October 2023
- Publication Type Single-Path Restarting Tree Automata 2009-11-05 Paper Restarting Tree Automata and Linear Context-Free Tree Languages 2008-09-04 Paper Completion...10 bytes (16 words) - 03:21, 28 December 2023
- BISIMULATION FOR TREE AUTOMATA 2009-08-21 Paper Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata 2009-02-12 Paper...10 bytes (16 words) - 07:27, 7 October 2023
- Paper A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids 2016-04-13 Paper Weighted Tree Automata over Valuation Monoids and Their Characterization...10 bytes (16 words) - 08:58, 25 September 2023
