Q5015369 (Q5015369): Difference between revisions

@@ Property / cites work @@
+Linearisability on Datalog programs
@@ Property / cites work: Linearisability on Datalog programs / rank @@
+Normal rank
@@ Property / cites work @@
+An Improved Tight Closure Algorithm for Integer Octagonal Constraints
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings
+Normal rank
@@ Property / cites work @@
+Proving correctness of imperative programs by linearizing constrained Horn clauses
+Normal rank
@@ Property / cites work @@
+Parikh's theorem: a simple and direct automaton construction
+Normal rank
@@ Property / cites work @@
+On Fixed Point Equations over Commutative Semirings
+Normal rank
@@ Property / cites work @@
+Underapproximation of Procedure Summaries for Integer Programs
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation by interpreter specialisation
@@ Property / cites work: Transformation by interpreter specialisation / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
+Normal rank
@@ Property / cites work @@
+Fast offline partial evaluation of logic programs
@@ Property / cites work: Fast offline partial evaluation of logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Convergence of Newton's method over commutative semirings
+Normal rank