Hyperedge replacement: grammars and languages
From MaRDI portal
(Redirected from Publication:684560)
Cited in
(only showing first 100 items - show all)- The monadic second-order logic of graphs. VIII: Orientations
- Adaptive star grammars and their languages
- The bounded degree problem for eNCE graph grammars
- Using attributed flow graph parsing to recognize clichés in programs
- The obstructions of a minor-closed set of graphs defined by a context-free grammar
- scientific article; zbMATH DE number 5842462 (Why is no real title available?)
- Fixpoint logics over hierarchical structures
- scientific article; zbMATH DE number 219258 (Why is no real title available?)
- Generating self-affine fractals by collage grammars
- Closure properties of context-free hyperedge replacement systems
- Two strikes against perfect phylogeny
- On cylindrical graph construction and its applications
- A Local Greibach Normal Form for Hyperedge Replacement Grammars
- The complexity of the \(K_{n,n}\)-problem for node replacement graph languages
- The monadic second-order logic of graphs. VII: Graphs as relational structures
- Automatic Deduction of Induced Subgraphs of Some Infinite Families of Graphs
- Algebraic approach to single-pushout graph transformation
- Categorical principles, techniques and results for high-level-replacement systems in computer science
- Node replacement in hypergraphs: simulation of hyperedge replacement, and decidability of confluence
- Parallel high-level replacement systems
- HRNCE grammars -- a hypergraph generating system with an eNCE way of rewriting
- Towards a systematic method for proving termination of graph transformation systems
- Hierarchical design rewriting with Maude
- scientific article; zbMATH DE number 4087049 (Why is no real title available?)
- Decision problems for edge grammars
- Criteria to disprove context freeness of collage languages.
- Graph transformation for incremental natural language analysis
- Second-order abstract categorial grammars as hyperedge replacement grammars
- Algorithmic uses of the Feferman-Vaught theorem
- The generating power of total deterministic tree transducers
- Preserving consistency in geometric modeling with graph transformations
- \(k\)-NLC graphs and polynomial algorithms
- NP-completeness of \(k\)-connected hyperedge-replacement languages of order \(k\)
- Model-checking hierarchical structures
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
- Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars
- A characterization of the sets of hypertrees generated by hyperedge-replacement graph grammars
- On the interleaving semantics of transformation units -- a step into GRACE
- Spatial existential positive logics for hyperedge replacement grammars
- Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
- The equivalence of bottom-up and top-down tree-to-graph transducers
- Basic notions of universal algebra for language theory and graph grammars
- Tree-width and the monadic quantifier hierarchy.
- Deciding non-emptiness of hypergraph languages generated by connection-preserving fusion grammars is NP-complete
- scientific article; zbMATH DE number 7453089 (Why is no real title available?)
- Metatheorems for decision problems on hyperedge replacement graph languages
- Macro tree transducers, attribute grammars, and MSO definable tree translations.
- A partial k-arboretum of graphs with bounded treewidth
- Graph grammars according to the type of input and manipulated data: a survey
- Selected Decision Problems for Square-Refinement Collage Grammars
- Concatenation of graphs
- scientific article; zbMATH DE number 809155 (Why is no real title available?)
- Graph unification and matching
- The complexity of graph languages generated by hyperedge replacement
- Monadic second-order definable graph transductions: a survey
- Powerful and NP-complete: hypergraph Lambek grammars
- P systems with local graph productions
- Bottom-up unranked tree-to-graph transducers for translation into semantic graphs
- Single pushout transformations of equationally defined graph structures with applications to actor systems
- Transformations of graph grammars
- A Greibach normal form for context-free graph grammars
- Graph-Based Design and Analysis of Dynamic Software Architectures
- Deterministic graph grammars
- Recognising \(k\)-connected hypergraphs in cubic time
- scientific article; zbMATH DE number 7456053 (Why is no real title available?)
- scientific article; zbMATH DE number 7456062 (Why is no real title available?)
- Cooperating distributed hyperedge replacement grammars
- A general framework for types in graph rewriting
- Probabilistic hyperedge replacement grammars
- Exponential time analysis of confluent and boundary eNCE graph languages
- Concurrent graph and term graph rewriting
- On the power of local graph expansion grammars with and without additional restrictions
- Uniform parsing for hyperedge replacement grammars
- Graph parsing as graph transformation. Correctness of predictive top-down parsers
- Hypergraph languages of bounded degree
- Decidability of the finiteness of ranges of tree transductions
- Handle-rewriting hypergraph grammars
- Context-free graph languages of bounded degree are generated by apex graph grammars
- The generative power of delegation networks
- Language theoretic properties of regular DAG languages
- Logical description of context-free graph languages
- Node rewriting in graphs and hypergraphs: A categorical framework
- Monadic second-order evaluations on tree-decomposable graphs
- Hierarchical graph transformation
- The bounded degree problem for non-obstructing eNCE graph grammars
- scientific article; zbMATH DE number 4160146 (Why is no real title available?)
- On the regular structure of prefix rewriting
- Characteristics of graph languages generated by edge replacement
- Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement
- The complexity of connectivity problems on context-free graph languages
- The translation power of top-down tree-to-graph transducers
- Context-free hypergraph grammars with node rewriting
- Constant delay traversal of grammar-compressed graphs with bounded rank
- scientific article; zbMATH DE number 4062634 (Why is no real title available?)
- scientific article; zbMATH DE number 176939 (Why is no real title available?)
- scientific article; zbMATH DE number 177418 (Why is no real title available?)
- scientific article; zbMATH DE number 177450 (Why is no real title available?)
- scientific article; zbMATH DE number 522836 (Why is no real title available?)
- scientific article; zbMATH DE number 219278 (Why is no real title available?)
- On spectra of sentences of monadic second order logic with counting
This page was built for publication: Hyperedge replacement: grammars and languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684560)
