scientific article; zbMATH DE number 7566073
From MaRDI portal
Publication:5094147
Authors: Dominik Kirst, Dominique Larchey-Wendling 
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/2104.14445
Title of this publication is not available (Why is that?)
Recommendations
- Trakhtenbrot’s Theorem in Coq
- Model-theoretic applications of cofinality spectrum problems
- scientific article; zbMATH DE number 4047715
- A Coq formalization of finitely presented modules
- On the proof theory of Coquand's calculus of constructions
- Moessner's theorem: an exercise in coinductive reasoning in \textsc{Coq}
- A finite model construction for coalgebraic modal logic
- Foundations of Software Science and Computation Structures
- Model theory and proof theory of coalgebraic predicate logic
- scientific article; zbMATH DE number 1302878
Cites Work
- BI as an assertion language for mutable data structures
- Elements of finite model theory.
- Title not available (Why is that?)
- Title not available (Why is that?)
- An efficient Coq tactic for deciding Kleene algebras
- On the almighty wand
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completeness theorems for first-order logic analysed in constructive type theory
- Some elementary results in intuitionistic model theory
- Title not available (Why is that?)
- Categoricity results for second-order ZF in dependent type theory
- Pragmatic quotient types in Coq
- Hereditarily finite sets in constructive type theory
- Verification of PCP-related computational reductions in Coq
- HOCore in Coq
- Trakhtenbrot’s Theorem in Coq
- Hilbert's Tenth Problem in Coq
- Completeness theorems for first-order logic analysed in constructive type theory
- A certifying extraction with time bounds from Coq to call-by-value $\lambda$-calculus
- Categoricity results and large model constructions for second-order ZF in dependent type theory
- Title not available (Why is that?)
Cited In (1)
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094147)
