Search results
From MaRDI portal
- 2018-09-27 Paper On the essence of parallel independence for the double-pushout and sesqui-pushout approaches 2018-04-04 Paper The Verigraph system for graph transformation...10 bytes (18 words) - 18:59, 13 December 2023
- 2018-09-27 Paper On the essence of parallel independence for the double-pushout and sesqui-pushout approaches 2018-04-04 Paper The Verigraph system for graph transformation...10 bytes (18 words) - 18:59, 13 December 2023
- 2018-08-24 Paper On the essence of parallel independence for the double-pushout and sesqui-pushout approaches 2018-04-04 Paper The Verigraph system for graph transformation...10 bytes (18 words) - 18:55, 13 December 2023
- 2005-12-02 Paper SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRAS 2005-10-19 Paper The uniqueness condition for the double pushout transformation of algebras...10 bytes (16 words) - 07:30, 12 December 2023
- the double-pushout and sesqui-pushout approaches 2018-04-04 Paper Model transformations as free constructions 2018-04-04 Paper Sesqui-Pushout Rewriting...10 bytes (18 words) - 14:51, 28 January 2024
- 2006-05-16 Paper SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRAS 2005-10-19 Paper The uniqueness condition for the double pushout transformation of algebras...10 bytes (16 words) - 14:42, 6 October 2023
- and congruences in the theory of orthomodular algebras 2003-04-23 Paper Pushout complements for partly total algebras 2002-09-11 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 10:06, 12 December 2023
- Application of debond length measurements to examine the mechanics of fiber pushout 2000-10-11 Paper...10 bytes (18 words) - 14:35, 13 December 2023
- Publication Date of Publication Type On the 2-crossed polymodules, pullback and pushout 2-crossed polymodules 2023-06-20 Paper The description of generalized t...10 bytes (16 words) - 01:14, 12 December 2023
- Model Synchronization with Comprehensive Systems 2022-10-13 Paper Single Pushout Rewriting in Comprehensive Systems 2022-09-01 Paper Comprehensive systems:...10 bytes (16 words) - 22:38, 24 September 2023
- 2018-09-27 Paper On the essence of parallel independence for the double-pushout and sesqui-pushout approaches 2018-04-04 Paper The Verigraph system for graph transformation...10 bytes (16 words) - 19:32, 24 September 2023
- generalized concurrent rule construction for double-pushout rewriting 2022-03-21 Paper Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting...10 bytes (16 words) - 12:26, 24 September 2023
- Application of debond length measurements to examine the mechanics of fiber pushout 2000-10-11 Paper...10 bytes (18 words) - 19:47, 12 December 2023
- 2000-09-12 Paper Algebraic transformation of unary partial algebras II: Single-pushout approach 1999-04-28 Paper https://portal.mardi4nfdi.de/entity/Q4222810 1998-12-13...10 bytes (17 words) - 01:00, 12 December 2023
- 2018-09-27 Paper On the essence of parallel independence for the double-pushout and sesqui-pushout approaches 2018-04-04 Paper The Verigraph system for graph transformation...10 bytes (16 words) - 19:32, 24 September 2023
- counting independent sets 2006-05-16 Paper SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRAS 2005-10-19 Paper PUSHOUTS OF PARTIAL HOMOMORPHISMS OF PARTIAL ALGEBRAS...10 bytes (17 words) - 07:56, 13 December 2023
- 2002-07-11 Paper Algebraic transformation of unary partial algebras II: Single-pushout approach 1999-04-28 Paper https://portal.mardi4nfdi.de/entity/Q4222810 1998-12-13...10 bytes (16 words) - 15:07, 13 December 2023
- shared-variable concurrent programs 2023-06-28 Paper Parallelism in single-pushout graph rewriting 2022-08-16 Paper A controller synthesis framework for automated...10 bytes (16 words) - 18:39, 11 December 2023
- construction for double-pushout rewriting 2022-03-21 Paper Generating Instance Models from Meta Models 2021-05-25 Paper Double-pushout-rewriting in \(S\)-Cartesian...10 bytes (16 words) - 18:04, 12 December 2023
- graph rewriting with controlled embedding 2019-11-22 Paper The Pullback-Pushout Approach to Algebraic Graph Transformation 2019-11-22 Paper The PBPO graph...10 bytes (17 words) - 18:54, 24 September 2023
