Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by PIERRE RANNOU
Properties of Co-Operations: Diagrammatic Proofs
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Algebraic Proofs of Properties of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
General Properties of Quantum Zero-Knowledge Proofs
Formal Proofs for Theoretical Properties of Newton's Method
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Chapter Four. Diagrammatic Notation
Proofs for Free
Journal of Functional Programming
Software
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Staff Efficiency Improvement of Operations of Honda Manufacturing Co., Ltd. Thailand
Diagrammatic Coaction of Two-Loop Feynman Integrals
DiagrammaticCHR: A Diagrammatic Representation of CHR Programs