Cardinalities of Finite Relations in Coq
DOI10.1007/978-3-319-43144-4_29zbMATH Open1478.68436OpenAlexW2500632430MaRDI QIDQ2829280FDOQ2829280
Insa Stucke, Damien Pous, Paul Brunet
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
- Title not available (Why is that?)
- 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 (4)
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)
