Search results
From MaRDI portal
- On the Membership Problem for Visibly Pushdown Languages 2008-09-04 Paper The word problem for visibly pushdown languages described by grammars 2007-11-28...10 bytes (17 words) - 02:25, 12 December 2023
- Publication Date of Publication Type A Grammatical Representation of Visibly Pushdown Languages 2009-03-10 Paper...10 bytes (16 words) - 12:21, 14 March 2024
- Paper Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution 2010-08-31 Paper Visibly Pushdown Languages and Term Rewriting...10 bytes (16 words) - 09:16, 25 September 2023
- Semi-synchronous Transductions 2008-03-19 Paper Regularity Problems for Visibly Pushdown Languages 2008-03-19 Paper...10 bytes (16 words) - 08:51, 6 October 2023
- Paper Visibly pushdown modular games 2017-03-16 Paper https://portal.mardi4nfdi.de/entity/Q2957490 2017-01-26 Paper Scope-Bounded Pushdown Languages 2016-06-23...10 bytes (19 words) - 06:06, 7 October 2023
- Paper Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution 2010-08-31 Paper Visibly Pushdown Languages and Term Rewriting...10 bytes (16 words) - 18:16, 24 September 2023
- Cyber-Physical Systems 2009-08-20 Paper A Grammatical Representation of Visibly Pushdown Languages 2009-03-10 Paper Learning to divide and conquer: applying the...10 bytes (16 words) - 09:44, 24 September 2023
- Pattern Rewriting Systems 2008-11-20 Paper Regularity Problems for Visibly Pushdown Languages 2008-03-19 Paper Propositional dynamic logic with recursive programs...10 bytes (17 words) - 12:29, 6 October 2023
- Strategies in Infinite Games 2008-06-10 Paper Regularity Problems for Visibly Pushdown Languages 2008-03-19 Paper Mathematical Foundations of Computer Science...10 bytes (17 words) - 22:51, 11 December 2023
- regular languages 2021-07-21 Paper Closest substring problems for regular languages 2021-03-09 Paper Limited nondeterminism of input-driven pushdown automata:...10 bytes (18 words) - 03:14, 25 September 2023
- Compositionality Entails Sequentializability 2011-05-19 Paper Visibly pushdown languages 2010-08-15 Paper The Language Theory of Bounded Context-Switching 2010-04-27...10 bytes (16 words) - 09:06, 25 September 2023
- Calculus for Visibly Pushdown Languages 2008-09-18 Paper Verification of well-formed communicating recursive state machines 2008-09-16 Paper Pushdown Module...10 bytes (16 words) - 07:56, 7 October 2023
- Nondeterministic Streaming String Transducers 2011-07-07 Paper Visibly pushdown languages 2010-08-15 Paper Verification and Integration of Real-Time Control...10 bytes (17 words) - 05:20, 9 December 2023
- Checking for Visibly Pushdown Automata 2017-07-12 Paper Temporal Logics in Computer Science 2016-05-11 Paper Conjunctive Visibly-Pushdown Path Queries...10 bytes (16 words) - 03:46, 25 September 2023
- Regular Languages 2017-06-01 Paper State Complexity of Regular Tree Languages for Tree Matching 2017-04-06 Paper Edit-Distance Between Visibly Pushdown Languages...10 bytes (18 words) - 03:14, 25 September 2023
- automata 2015-04-28 Paper On Visibly Pushdown Trace Languages 2015-02-20 Paper Ordered Restarting Automata for Picture Languages 2015-01-13 Paper Restarting...10 bytes (16 words) - 15:00, 10 December 2023
- linearised trees 2020-05-26 Paper Efficient determinization of visibly and height-deterministic pushdown automata 2018-05-15 Paper Backward Linearised Tree Pattern...10 bytes (16 words) - 12:40, 28 January 2024
- 2021-06-17 Paper Two-way Parikh automata with a visibly pushdown stack 2020-01-28 Paper Visibly pushdown transducers 2018-09-07 Paper Decision problems...10 bytes (18 words) - 17:44, 24 September 2023
- Class of Context-Sensitive Timed Languages 2016-08-30 Paper A Logical Characterization for Dense-Time Visibly Pushdown Automata 2016-04-13 Paper...10 bytes (16 words) - 19:50, 13 December 2023
- Logic Definability of Free Languages 2015-10-20 Paper Locally Chain-Parsable Languages 2015-09-16 Paper Operator Precedence Languages: Their Automata-Theoretic...10 bytes (17 words) - 05:39, 12 December 2023
