The following pages link to Hartmut Ehrig (Q171481):
Displayed 50 items.
- A bialgebraic approach to automata and formal language theory (Q408529) (← links)
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes (Q418764) (← links)
- Item:Q171481 (redirect page) (← links)
- Canonical constraints for parameterized data types (Q580959) (← links)
- How to delete categorically -- two pushout complement constructions (Q631570) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- The ESPRIT basic research working group COMPUGRAPH ``Computing by graph transformation'': A survey (Q685466) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Sequentially dense essential monomorphisms of acts over semigroups (Q711374) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- Attributed graph transformation with node type inheritance (Q882448) (← links)
- Combining data type and recursive process specifications using projection algebras (Q910188) (← links)
- Introduction to graph grammars with applications to semantic networks (Q918717) (← links)
- Construction and properties of adhesive and weak adhesive high-level replacement categories (Q934669) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- Consistent integration of models based on views of meta models (Q973049) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Item:Q171481 (redirect page) (← links)
- The equational theory of parameterized specifications (Q1111364) (← links)
- Parallelism and concurrency of graph manipulations (Q1147520) (← links)
- Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems (Q1151055) (← links)
- Complexity of algebraic implementations for abstract data types (Q1158952) (← links)
- Algebraic implementation of abstract data types (Q1163361) (← links)
- Graph grammars and applications to specialization and evolution in biology (Q1225949) (← links)
- Grammars on partial graphs (Q1227277) (← links)
- Systematic approach to reduction and minimization in automata and system theory (Q1232389) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Applications of category theory to the area of algebraic specification in computer science (Q1383220) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Fundamentals of algebraic graph transformation (Q2491953) (← links)
- Graph and model transformation. General framework and applications (Q2634496) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- (Q2719333) (← links)
- (Q2728863) (← links)
- (Q2729227) (← links)
- (Q2847842) (← links)
- Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions (Q2864377) (← links)
- Termination Criteria for DPO Transformations with Injective Matches (Q2867892) (← links)
- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation (Q2888500) (← links)
- ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence (Q2898463) (← links)
- Parallelism and Concurrency of Stochastic Graph Transformations (Q2918975) (← links)
- Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars (Q2918978) (← links)
- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation (Q3059710) (← links)
- (Q3129285) (← links)
- (Q3129296) (← links)
- (Q3152420) (← links)
- (Q3208498) (← links)
- (Q3221381) (← links)