Towards Certifiable Implementation of Graph Transformation via Relation Categories (Q2915137): Difference between revisions

@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AoPA
@@ Property / describes a project that uses: AoPA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-33314-9_6
+Normal rank
@@ Property / OpenAlex ID @@
+W119139902
@@ Property / OpenAlex ID: W119139902 / rank @@
+Normal rank
@@ Property / cites work @@
+A Functional, Successor List Based Version of Warshall’s Algorithm with Applications
+Normal rank
@@ Property / cites work @@
+Deciding Kleene Algebras in Coq
@@ Property / cites work: Deciding Kleene Algebras in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 -- June 3, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416071
@@ Property / cites work: Q3416071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
+Normal rank
@@ Property / cites work @@
+Collagories: relation-algebraic reasoning for gluing constructions
+Normal rank
@@ Property / cites work @@
+Dependently-Typed Formalisation of Relation-Algebraic Abstractions
+Normal rank
@@ Property / cites work @@
+Pushout-complements and basic concepts of grammars in toposes
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Algebra of programming in Agda: Dependent types for relational program derivation
+Normal rank