scientific article

From MaRDI portal
Publication:3785988

zbMath0643.68106MaRDI QIDQ3785988

Annegret Habel, Hans-Joerg Kreowski

Publication date: 1987


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (36)

Monadic second-order definable graph transductions: a surveyHandle-rewriting hypergraph grammarsThe monadic second order logic of graphs. VI: On several representations of graphs by relational structuresThe translation power of top-down tree-to-graph transducersContext-free graph languages of bounded degree are generated by apex graph grammarsSynthesized and inherited functions. A new computational model for syntax-directed semanticsThe monadic second-order logic of graphs. I: Recognizable sets of finite graphsUniform parsing for hyperedge replacement grammarsMetatheorems for decision problems on hyperedge replacement graph languagesThe monadic second-order logic of graphs III : tree-decompositions, minors and complexity issuesLogical description of context-free graph languagesPower properties of NLC graph grammars with a polynomial membership problemOn relating rewriting systems and graph grammars to event structuresThe generative power of delegation networksGraph-theoretic properties compatible with graph derivationsUndecidability of the bandwidth problem on linear graph languagesGraph transformation for incremental natural language analysisAlgorithms for graph problems on BNLC structured garphsThe string generating power of context-free hypergraph grammarsThe monadic second-order logic of graphs. V: On closing the gap between definability and recognizabilityThe monadic second-order logic of graphs. VII: Graphs as relational structuresAlgebraic approach to single-pushout graph transformationHyperedge replacement jungle rewriting for term-rewriting systems and logic programmingContext-free hypergraph grammars have the same term-generating power as attribute grammarsRecursively indefinite databasesLyndon treesBottom-up unranked tree-to-graph transducers for translation into semantic graphsA Greibach normal form for context-free graph grammarsApplications of a hyper-graph grammar system in adaptive finite-element computationsInfinite hypergraphs. I: Basic propertiesThe equivalence of bottom-up and top-down tree-to-graph transducersA partial k-arboretum of graphs with bounded treewidthSelected Decision Problems for Square-Refinement Collage GrammarsGenerating irregular partitionable data structuresModular tree transducersHypergraph languages of bounded degree




This page was built for publication: