No label defined (Q5094147)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7566073

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7566073

Statements

scholarly article

0 references

0 references

Dominique Larchey-Wendling

0 references

publication date

2 August 2022

0 references

full work available at URL

https://arxiv.org/abs/2104.14445

0 references

https://lmcs.episciences.org/9696

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

On the almighty wand

0 references

0 references

An Efficient Coq Tactic for Deciding Kleene Algebras

0 references

Pragmatic Quotient Types in Coq

0 references

0 references

0 references

0 references

Verification of PCP-related computational reductions in Coq

0 references

A certifying extraction with time bounds from Coq to call-by-value $\lambda$-calculus

0 references

Categoricity results for second-order ZF in dependent type theory

0 references

Completeness theorems for first-order logic analysed in constructive type theory

0 references

Completeness theorems for first-order logic analysed in constructive type theory

0 references

BI as an assertion language for mutable data structures

0 references

Trakhtenbrot’s Theorem in Coq

0 references

Categoricity results and large model constructions for second-order ZF in dependent type theory

0 references

Elements of finite model theory.

0 references

Hilbert's Tenth Problem in Coq

0 references

0 references

Hereditarily Finite Sets in Constructive Type Theory

0 references

0 references

Some elementary results in intuitionistic model theory

0 references

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5094147

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5094147&oldid=36836604"