Cardinalities of Finite Relations in Coq
DOI10.1007/978-3-319-43144-4_29zbMATH Open1478.68436OpenAlexW2500632430MaRDI QIDQ2829280FDOQ2829280
Authors: Paul Brunet, Damien Pous, Insa Stucke 
Publication date: 27 October 2016
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-43144-4_29
Recommendations
- Cardinality of relations with applications
- Finite-cofinite program relations
- On the Cardinality of Relations
- Reasoning about cardinalities of relations with applications supported by proof assistants
- scientific article; zbMATH DE number 495470
- Relational structures having finitely many full-cardinality restrictions
- scientific article; zbMATH DE number 404408
- Finite quantifier hierarchies in relational algebras
- Algebras of co-relations on a finite set
Mechanization of proofs and logical operations (03B35) Ordinal and cardinal numbers (03E10) Cylindric and polyadic algebras; relation algebras (03G15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Residuated lattices. An algebraic glimpse at substructural logics
- A new look at generalized rewriting in type theory
- Kleene algebra with tests and Coq tools for while programs
- Relation algebras: Concept of points and representability
- Dependently-typed formalisation of relation-algebraic abstractions
- On the Cardinality of Relations
- Relational and Kleene-Algebraic Methods in Computer Science
- Tool-Based Verification of a Relational Vertex Coloring Program
- Investigating and computing bipartitions with algebraic means
- Cardinalities of Finite Relations in Coq
Cited In (6)
- Reasoning about cardinalities of relations with applications supported by proof assistants
- On the Cardinality of Relations
- Cardinality of relations with applications
- Cardinality of relations and relational approximation algorithms
- Cardinalities of Finite Relations in Coq
- Algebraic investigation of connected components
Uses Software
This page was built for publication: Cardinalities of Finite Relations in Coq
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2829280)
