Search results
From MaRDI portal
- Associative grammar combination operators for tree-based grammars 2009-10-21 Paper Highly constrained unification grammars 2009-06-17 Paper Formal Grammars of Early...10 bytes (16 words) - 06:46, 7 October 2023
- Paper Analyzing ambiguity of context-free grammars 2010-02-26 Paper Analyzing Ambiguity of Context-Free Grammars 2008-06-10 Paper Table design in dynamic...10 bytes (16 words) - 19:05, 11 December 2023
- comparison of boundary graph grammars and context-free hypergraph grammars 1990-01-01 Paper On structured graph grammars. II 1990-01-01 Paper https://portal...10 bytes (17 words) - 17:58, 9 December 2023
- Applications Modelled with Object-Based Graph Grammars 2014-01-17 Paper Stochastic Object-Based Graph Grammars 2014-01-17 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 13:42, 28 January 2024
- specifications in formal grammars 2015-07-13 Paper An extension of context-free grammars with one-sided context specifications 2014-07-18 Paper Linear Grammars with...10 bytes (16 words) - 20:03, 24 September 2023
- de/entity/Q4135008 1975-01-01 Paper Comment on the paper 'Error detection in formal languages' 1974-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4109314...10 bytes (19 words) - 12:33, 13 December 2023
- https://portal.mardi4nfdi.de/entity/Q2772439 2002-02-19 Paper An Informal Approach to Formal (Algebraic) Specifications 1985-01-01 Paper Towards multi-level and modular...10 bytes (18 words) - 23:22, 12 December 2023
- Paper Correct transformation: from object-based graph grammars to PROMELA 2012-07-20 Paper Formal Methods for Open Object-Based Distributed Systems 2010-01-12...10 bytes (20 words) - 13:42, 28 January 2024
- context-dependent fusion grammars 2019-12-04 Paper Graph transformation through graph surfing in reaction systems 2019-11-28 Paper Fusion Grammars: A Novel Approach...10 bytes (19 words) - 21:23, 11 December 2023
- external contextual grammars with subregular selection languages 2012-08-13 Paper Language classes generated by tree controlled grammars with bounded nonterminal...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
- queries in deductive databases 2001-11-27 Paper Preference logic grammars 2000-11-22 Paper A formal specification of document processing 1997-10-26 Paper Exploiting...10 bytes (16 words) - 09:58, 8 December 2023
- Conjunctive Grammars 2018-10-02 Paper Formal languages over GF(2) 2018-06-26 Paper Underlying principles and recurring ideas of formal grammars 2018-06-26...10 bytes (17 words) - 09:17, 25 September 2023
- Type Random context structure grammars and automata - a formal approach 1991-01-01 Paper Using random context structure grammars to represent chemical structures...10 bytes (18 words) - 17:42, 23 September 2023
- Problems of Formal Grammars 1970-01-01 Paper The post correspondence problem 1968-01-01 Paper Degrees of Unsolvability in Formal Grammars 1968-01-01 Paper...10 bytes (18 words) - 22:01, 26 December 2023
- 1973-01-01 Paper String adjunct grammars: I. Local and distributed adjunction 1972-01-01 Paper String adjunct grammars: II. Equational representation,...10 bytes (19 words) - 12:48, 12 December 2023
- of complexity within formal languages 2019-12-04 Paper Improved descriptional complexity results on generalized forbidding grammars 2019-10-10 Paper Valuations...10 bytes (17 words) - 03:32, 9 December 2023
- Constraints for Generating Meta Model Instances by Graph Grammars 2014-03-21 Paper A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML...10 bytes (16 words) - 18:04, 12 December 2023
- totally rigid acyclic tree grammars 2018-11-22 Paper Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars 2018-03-22 Paper On the compressibility...10 bytes (16 words) - 17:57, 24 September 2023
- Model Synchronization using Triple Graph Grammars 2022-10-13 Paper Unfolding Symbolic Attributed Graph Grammars 2022-09-01 Paper Initial Conflicts for Transformation...10 bytes (17 words) - 11:55, 11 December 2023