Search results

From MaRDI portal
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • 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
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)