Search results
From MaRDI portal
- 1980-01-01 Paper On deterministic indexed languages 1980-01-01 Paper Closure properties of deterministic indexed languages 1980-01-01 Paper https://portal...10 bytes (16 words) - 23:56, 12 December 2023
- Epsilon-reducible context-free languages and characterizations of indexed languages 2019-12-18 Paper Homomorphic Characterizations of Indexed Languages 2016-04-13 Paper...10 bytes (18 words) - 08:58, 25 September 2023
- Linear indexed languages 1984-01-01 Paper On deterministic indexed languages 1980-01-01 Paper Closure properties of deterministic indexed languages 1980-01-01...10 bytes (16 words) - 10:05, 7 October 2023
- 1985-01-01 Paper On deterministic indexed languages 1980-01-01 Paper Closure properties of deterministic indexed languages 1980-01-01 Paper https://portal...10 bytes (16 words) - 13:39, 28 January 2024
- Epsilon-reducible context-free languages and characterizations of indexed languages 2019-12-18 Paper Homomorphic Characterizations of Indexed Languages 2016-04-13 Paper...10 bytes (16 words) - 09:28, 6 October 2023
- Paper Regular Closure of Deterministic Languages 1999-10-28 Paper Linear-time suffix parsing for deterministic languages 1998-01-21 Paper An oberservation on...10 bytes (16 words) - 01:35, 13 December 2023
- the geometry of 3-manifolds 1997-09-03 Paper A shrinking lemma for indexed languages 1997-02-27 Paper https://portal.mardi4nfdi.de/entity/Q4867073 1997-01-20...10 bytes (18 words) - 13:42, 28 January 2024
- entropy of regular languages. 2004-03-14 Paper Amenable groups and cellular automata 1999-05-16 Paper An example of an indexed language of intermediate growth...10 bytes (16 words) - 04:59, 13 December 2023
- defined by transducers 1999-08-31 Paper Deterministic acceptors for indexed languages 1999-04-28 Paper Equivalence problems for transducers with a bounded...10 bytes (18 words) - 10:05, 7 October 2023
- Propositional Satisfiability 2011-07-29 Paper LR Parsing for Global Index Languages (GILs) 2010-05-07 Paper Experiments on three-dimensional wall-layer...10 bytes (18 words) - 16:09, 6 October 2023
- Publication Date of Publication Type Rational index of languages with bounded dimension of parse trees 2022-08-11 Paper...10 bytes (16 words) - 01:20, 25 September 2023
- Publication Date of Publication Type Rational index of languages with bounded dimension of parse trees 2022-08-11 Paper Context-free path querying by Kronecker...10 bytes (16 words) - 14:25, 28 January 2024
- Algebraic Formal Series and Languages 2023-08-15 Paper https://portal.mardi4nfdi.de/entity/Q5016373 2021-12-13 Paper On finite-index indexed grammars and their...10 bytes (16 words) - 02:10, 12 December 2023
- of translations 2015-04-01 Paper Step-indexed kripke models over recursive worlds 2014-04-10 Paper Step-Indexed Relational Reasoning for Countable Nondeterminism...10 bytes (16 words) - 03:22, 13 December 2023
- recursively enumerable languages by internal contextual languages 1999-01-12 Paper Characterizations of recursively enumerable languages by means of insertion...10 bytes (17 words) - 12:20, 9 December 2023
- Logic and Rational Languages of Words Indexed by Linear Orderings 2008-06-05 Paper A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS...10 bytes (16 words) - 23:52, 12 December 2023
- Paper Series-parallel languages on scattered and countable posets 2011-05-10 Paper Logic and rational languages of words indexed by linear orderings 2010-08-13...10 bytes (16 words) - 00:47, 25 September 2023
- Paper Series-parallel languages on scattered and countable posets 2011-05-10 Paper Logic and rational languages of words indexed by linear orderings 2010-08-13...10 bytes (16 words) - 00:47, 25 September 2023
- 2008-09-04 Paper Learning indexed families of recursive languages from positive data: A survey 2008-05-28 Paper A general comparison of language learning from examples...10 bytes (17 words) - 04:33, 9 December 2023
- 2014-04-10 Paper Step-indexed kripke models over recursive worlds 2014-04-10 Paper Matching of Bigraphs 2013-12-20 Paper Step-Indexed Relational Reasoning...10 bytes (17 words) - 03:23, 9 December 2023