Search results

Person:2050330 (section Known relations from the MaRDI Knowledge Graph)
Publication Type A Port Graph Rewriting Approach to Relational Database Modelling 2022-08-25 Paper A strategic graph rewriting model of rational negligence...

10 bytes (16 words) - 21:36, 24 September 2023
Person:1663981 (section Known relations from the MaRDI Knowledge Graph)
2020-01-31 Paper Graph-rewriting Petri nets 2018-08-24 Paper Equivalence and independence in controlled graph-rewriting processes 2018-08-24 Paper...

10 bytes (16 words) - 20:07, 24 September 2023
Person:1734524 (section Known relations from the MaRDI Knowledge Graph)
2022-01-12 Paper Algebraic graph rewriting with controlled embedding 2019-11-22 Paper The Pullback-Pushout Approach to Algebraic Graph Transformation 2019-11-22...

10 bytes (17 words) - 17:54, 24 September 2023
Person:898617 (section Known relations from the MaRDI Knowledge Graph)
concurrent graph-rewriting processes 2020-01-31 Paper Graph-rewriting Petri nets 2018-08-24 Paper Equivalence and independence in controlled graph-rewriting...

10 bytes (16 words) - 10:11, 6 October 2023
Person:912604 (section Known relations from the MaRDI Knowledge Graph)
Parallel coherent graph transformations 2021-10-27 Paper Parallel rewriting of attributed graphs 2020-12-15 Paper Algebraic graph rewriting with controlled...

10 bytes (16 words) - 17:05, 6 October 2023
Person:667428 (section Known relations from the MaRDI Knowledge Graph)
for Term Graph Rewriting 2012-06-01 Paper ABSTRACT MODELS OF TRANSFINITE REDUCTIONS 2012-04-25 Paper PARTIAL ORDER INFINITARY TERM REWRITING AND BÖHM TREES...

10 bytes (17 words) - 07:51, 7 October 2023
Person:462494 (section Known relations from the MaRDI Knowledge Graph)
Sharing in the Graph Rewriting Calculus 2012-06-08 Paper A rewriting calculus for cyclic higher-order term graphs 2007-09-26 Paper The Rewriting Calculus as...

10 bytes (16 words) - 03:11, 25 September 2023
Person:953540 (section Known relations from the MaRDI Knowledge Graph)
p-Calculus 2017-07-03 Paper Incremental Update for Graph Rewriting 2017-05-19 Paper Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models 2017-01-26...

10 bytes (17 words) - 05:47, 13 December 2023
Person:171483 (section Known relations from the MaRDI Knowledge Graph)
Concurrent graph and term graph rewriting 2023-06-28 Paper Relating two categorical models of term rewriting 2022-12-09 Paper Graph Rewriting Components...

10 bytes (16 words) - 17:45, 24 September 2023
Person:924173 (section Known relations from the MaRDI Knowledge Graph)
termination in term graph rewriting 2022-12-09 Paper Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems 2022-08-18...

10 bytes (22 words) - 13:54, 28 January 2024
Person:549183 (section Known relations from the MaRDI Knowledge Graph)
2022-12-07 Paper Patch Graph Rewriting 2022-09-01 Paper Algebraic Presentation of Semifree Monads 2022-05-11 Paper Graph rewriting and relabeling with P...

10 bytes (16 words) - 23:41, 24 September 2023
Person:270466 (section Known relations from the MaRDI Knowledge Graph)
mechanics of graph rewriting 2018-04-23 Paper Combinatorics of chemical reaction systems 2017-12-18 Paper The algebras of graph rewriting 2016-12-19 Paper...

10 bytes (16 words) - 06:09, 7 October 2023
Person:271708 (section Known relations from the MaRDI Knowledge Graph)
Labelled Graph Rewriting Meets Social Networks 2016-10-21 Paper Runtime verification for biochemical programs 2016-04-19 Paper Termination of rewriting under...

10 bytes (17 words) - 07:52, 6 October 2023
Person:248923 (section Known relations from the MaRDI Knowledge Graph)
Paper Bottom-Up Rewriting Is Inverse Recognizability Preserving 2008-01-02 Paper Decidable call-by-need computations in term rewriting 2005-02-22 Paper...

10 bytes (17 words) - 20:44, 9 December 2023
Person:347381 (section Known relations from the MaRDI Knowledge Graph)
conditional rewriting 2016-12-28 Paper Dependency pairs for proving termination properties of conditional term rewriting systems 2016-11-30 Paper Rewriting modulo...

10 bytes (17 words) - 10:55, 11 December 2023
Person:851145 (section Known relations from the MaRDI Knowledge Graph)
term rewriting systems 2007-04-16 Paper Termination proofs for string rewriting systems via inverse match-bounds 2006-11-17 Paper Term Rewriting and Applications...

10 bytes (16 words) - 01:16, 13 December 2023
Person:505038 (section Known relations from the MaRDI Knowledge Graph)
removal in term rewriting 2023-03-09 Paper Termination of term rewriting by interpretation 2023-03-09 Paper Total termination of term rewriting 2022-12-09 Paper...

10 bytes (17 words) - 03:11, 9 December 2023
Person:851140 (section Known relations from the MaRDI Knowledge Graph)
de/entity/Q5389068 2012-04-24 Paper Canonized Rewriting and Ground AC Completion Modulo Shostak Theories 2011-05-19 Paper Rewriting Techniques and Applications 2009-04-30...

10 bytes (16 words) - 01:16, 13 December 2023
Person:171478 (section Known relations from the MaRDI Knowledge Graph)
Publication Date of Publication Type Pullback rewriting and applications 2013-05-24 Paper Node rewriting in graphs and hypergraphs: A categorical framework...

10 bytes (16 words) - 10:43, 8 December 2023
Person:287152 (section Known relations from the MaRDI Knowledge Graph)
forms for nonlinear term rewriting systems: Root overlaps 2022-12-09 Paper Some complexity theoretic aspects of AC rewriting 2022-08-16 Paper Uniqueness...

10 bytes (18 words) - 14:18, 10 December 2023