Formal study of functional orbits in finite domains (Q483296): Difference between revisions

@@ 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.1016/j.tcs.2014.10.041
+Normal rank
@@ Property / OpenAlex ID @@
+W2085828618
@@ Property / OpenAlex ID: W2085828618 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated function systems and the global construction of fractals
+Normal rank
@@ Property / cites work @@
+Shape Analysis for Composite Data Structures
@@ Property / cites work: Shape Analysis for Composite Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4096964
@@ Property / cites work: Q4096964 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q2721096
@@ Property / cites work: Q2721096 / rank @@
+Normal rank
@@ Property / cites work @@
+Designing and proving correct a convex hull algorithm with hypermaps in Coq
+Normal rank
@@ Property / cites work @@
+Q5674963
@@ Property / cites work: Q5674963 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised multi-pattern-based verification of programs with linear linked structures
+Normal rank
@@ Property / cites work @@
+Q4071773
@@ Property / cites work: Q4071773 / rank @@
+Normal rank
@@ Property / cites work @@
+Design and formal proof of a new optimal image segmentation program with hypermaps
+Normal rank
@@ Property / cites work @@
+Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
+Normal rank
@@ Property / cites work @@
+An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps
+Normal rank
@@ Property / cites work @@
+Hypermap Specification and Certified Linked Implementation Using Orbits
+Normal rank
@@ Property / cites work @@
+Formal Study of Plane Delaunay Triangulation
@@ Property / cites work: Formal Study of Plane Delaunay Triangulation / rank @@
+Normal rank
@@ Property / cites work @@
+Functional specification and prototyping with oriented combinatorial maps
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077223
@@ Property / cites work: Q4077223 / rank @@
+Normal rank
@@ Property / cites work @@
+Region-based shape analysis with tracked locations
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585021
@@ Property / cites work: Q5585021 / rank @@
+Normal rank
@@ Property / cites work @@
+N-DIMENSIONAL GENERALIZED COMBINATORIAL MAPS AND CELLULAR QUASI-MANIFOLDS
+Normal rank
@@ Property / cites work @@
+Proving pointer programs in higher-order logic
@@ Property / cites work: Proving pointer programs in higher-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4154814
@@ Property / cites work: Q4154814 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient machine-independent procedure for garbage collection in various list structures
+Normal rank
@@ Property / cites work @@
+Rotors in Graph Theory
@@ Property / cites work: Rotors in Graph Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Theorem on Boolean Matrices
@@ Property / cites work: A Theorem on Boolean Matrices / rank @@
+Normal rank