|
|
(10 intermediate revisions by 5 users not shown) |
Property / author | |
| | |
Property / author: Jean Krivine / rank | |
| Normal rank
| |
| Property / author |
| | |
| Property / author: Jean Krivine / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Fragger / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: MedOlDatschgerl / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: BGL / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: KappaTools / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Boost / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W3184630098 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rule Algebras for Adhesive Categories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Software Package for Chemically Inspired Graph Transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4559476 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5020536 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Correctness of high-level transformation systems relative to nested conditions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Compositionality of Rewriting Rules with Conditions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Fundamentals of algebraic graph transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Sesqui-Pushout Rewriting / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Adhesive and quasiadhesive categories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Graph Transformations / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Finitary -adhesive categories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Stochastic mechanics of graph rewriting / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3300791 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Transformation and Refinement of Rigid Structures / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Resolution-Like Theorem Proving for High-Level Conditions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computational methods in systems biology. International conference CMSB 2004, Paris, France, May 26--28, 2004. Revised selected papers. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal molecular biology / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Intrinsic information carriers in combinatorial dynamical systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Moment Semantics for Reversible Rule-Based Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rate equations for graphs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Incremental Update for Graph Rewriting / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Rewriting Calculus for Multigraphs with Ports / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rule-Based Modelling, Symmetries, Refinements / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4956543 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: 50 Shades of Rule Composition / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: $\mathcal M, \mathcal N$ -Adhesive Transformation Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Quasitoposes, Quasiadhesive Categories and Artin Glueing / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5020951 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4904140 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Markov Chains / rank |
| | Normal rank |
links / mardi / name | links / mardi / name |
| | |