Properties of Co-Operations: Diagrammatic Proofs

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129511000661
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Algebraic Proofs of Properties of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

General Properties of Quantum Zero-Knowledge Proofs

English

Formal Proofs for Theoretical Properties of Newton's Method

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2011English

Chapter Four. Diagrammatic Notation

2008English

Proofs for Free

Journal of Functional Programming
Software
2012English

Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1984English

Staff Efficiency Improvement of Operations of Honda Manufacturing Co., Ltd. Thailand

2017English

Diagrammatic Coaction of Two-Loop Feynman Integrals

2019English

DiagrammaticCHR: A Diagrammatic Representation of CHR Programs

2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy