Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139): Difference between revisions

@@ Property / cites work @@
+Q3815518
@@ Property / cites work: Q3815518 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
+Normal rank
@@ Property / cites work @@
+Relational depth-first-search with applications
@@ Property / cites work: Relational depth-first-search with applications / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Algebra in Scientific Computing
@@ Property / cites work: Computer Algebra in Scientific Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing Relational Specifications in a Constraint Functional Logic Language
+Normal rank
@@ Property / cites work @@
+On Automated Program Construction and Verification
+Normal rank
@@ Property / cites work @@
+A Functional, Successor List Based Version of Warshall’s Algorithm with Applications
+Normal rank
@@ Property / cites work @@
+On computing representatives
@@ Property / cites work: On computing representatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q4213379
@@ Property / cites work: Q4213379 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings
+Normal rank
@@ Property / cites work @@
+Q4281652
@@ Property / cites work: Q4281652 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional programming with graphs
@@ Property / cites work: Functional programming with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive graphs and functional graph algorithms
@@ Property / cites work: Inductive graphs and functional graph algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+New Bounds on the Complexity of the Shortest Path Problem
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell
+Normal rank
@@ Property / cites work @@
+Two graph algorithms derived
@@ Property / cites work: Two graph algorithms derived / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving a class of layer-oriented graph algorithms
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Rectangles, Fringes, and Inverses
@@ Property / cites work: Rectangles, Fringes, and Inverses / rank @@
+Normal rank
@@ Property / cites work @@
+Gaussian elimination is not optimal
@@ Property / cites work: Gaussian elimination is not optimal / rank @@
+Normal rank
@@ Property / cites work @@
+A Theorem on Boolean Matrices
@@ Property / cites work: A Theorem on Boolean Matrices / rank @@
+Normal rank