Search results
From MaRDI portal
- subclasses of random context languages 2013-03-04 Paper Bag Context Tree Grammars 2009-03-26 Paper https://portal.mardi4nfdi.de/entity/Q3601849 2009-02-12...10 bytes (25 words) - 17:44, 9 December 2023
- Optimal parametric search on graphs of bounded tree-width 2022-12-09 Paper Linear-time algorithms for parametric minimum spanning tree problems on planar...10 bytes (17 words) - 17:43, 9 December 2023
- completeness of matrix simple semi-conditional grammars 2022-03-14 Paper Generalized forbidding matrix grammars and their membrane computing perspective 2021-12-01...10 bytes (16 words) - 03:09, 25 September 2023
- Publication Date of Publication Type Ping-pong protocols as prefix grammars: modelling and verification via program transformation 2016-08-18 Paper https://portal...10 bytes (17 words) - 20:23, 12 December 2023
- Complexity of Abstract Categorial Grammars 2010-08-31 Paper On the membership problem for non-linear abstract categorial grammars 2010-05-26 Paper A faithful...10 bytes (16 words) - 10:28, 6 October 2023
- Publication Type Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques 2020-02-13 Paper Leveraging Incremental Pattern...10 bytes (16 words) - 10:27, 6 October 2023
- Graph Grammars 2012-11-06 Paper Correct transformation: from object-based graph grammars to PROMELA 2012-07-20 Paper Verification of graph grammars using...10 bytes (16 words) - 13:42, 28 January 2024
- 2020-06-08 Paper Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques 2020-02-13 Paper Adhesive subcategories of...10 bytes (16 words) - 21:07, 24 September 2023
- Environments Using Stochastic Object Based Graph Grammars 2008-11-27 Paper Linear-Ordered Graph Grammars: Applications to Distributed Systems Design 2008-06-19...10 bytes (18 words) - 13:42, 28 January 2024
- Type Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming 2022-10-13 Paper https://portal.mardi4nfdi.de/entity/Q5021216...10 bytes (16 words) - 23:03, 24 September 2023
- de/entity/Q4501521 2000-11-22 Paper A new algorithm for linear regular tree pattern matching 2000-08-21 Paper Linear time parsers for classes of non context free...10 bytes (16 words) - 17:23, 12 December 2023
- 1998-10-19 Paper The structure of index sets and reduced indexed grammars 1990-01-01 Paper Grammars, derivation modes and properties of indexed and type-0 languages...10 bytes (16 words) - 10:05, 7 October 2023
- multi-component grammars 2020-07-27 Paper Mathematical programming techniques for sensor networks 2018-08-20 Paper Ogden Property for Linear Displacement...10 bytes (16 words) - 02:00, 7 October 2023
- 1981-01-01 Paper The decidability of equivalence for a family of linear grammars 1980-01-01 Paper A note on the pumping lemma for regular languages 1979-01-01...10 bytes (17 words) - 12:16, 7 October 2023
- on generalized forbidding grammars 2022-08-04 Paper On the computational completeness of matrix simple semi-conditional grammars 2022-03-14 Paper Generalized...10 bytes (16 words) - 09:29, 7 October 2023
- Voicing Transformations and a Linear Representation of Uniform Triadic Transformations 2016-03-31 Paper Tree-Like Grammars and Separation Logic 2016-01-08...10 bytes (16 words) - 09:57, 8 December 2023
- context-free languages 1976-01-01 Paper The covering problem for linear context-free grammars 1976-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4122730...10 bytes (19 words) - 05:05, 9 December 2023
- Game-Theoretic Characterization of Boolean Grammars 2009-07-07 Paper Well-Founded Semantics for Boolean Grammars 2009-03-26 Paper On a Simple 3-valued Modal...10 bytes (16 words) - 00:44, 25 September 2023
- for the control of right linear grammars with unknown behaviors 2021-03-09 Paper Monotonically controlling right linear grammars with unknown behaviors to...10 bytes (16 words) - 12:54, 28 January 2024
- https://portal.mardi4nfdi.de/entity/Q3450407 2015-11-05 Paper Optimization of Linear Objective Function under Fuzzy Equation Constraint in BL − Algebras – Theory...10 bytes (18 words) - 10:55, 12 December 2023
