Proof certificates for equality reasoning
type: Item
instance of: scholarly article
title: Proof certificates for equality reasoning
zbMATH Open document ID: 1394.68350
author: Zakaria Chihani
author: Dale Miller
publication date: 2018-04-23T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6862944
zbMATH Keywords: proof certificates
zbMATH Keywords: equational proofs
zbMATH Keywords: proof checking
zbMATH Keywords: rewriting proofs
describes a project that uses: CeTA
Wikidata QID: Q113317682
MaRDI profile type: Publication
full work available at URL: j.entcs.2016.06.007
OpenAlex ID: W2463700520
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: General models, descriptions, and choice in type theory
cites work: Autarkic computations in formal proofs
cites work: Introduction to generalized type systems
cites work: Foundational Proof Certificates in First-Order Logic
cites work: Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
cites work: Q5667469
cites work: Automated Deduction – CADE-19
cites work: A framework for defining logics
cites work: Q4619820
cites work: Focusing and polarization in linear, intuitionistic, and classical logics
cites work: A Proposal for Broad Spectrum Proof Certificates
cites work: Programming with higher-order logic.
cites work: Uniform proofs as a foundation for logic programming
cites work: Certification of Termination Proofs Using CeTA
cites work: Counterexamples to termination for the direct sum of term rewriting systems
DOI: 10.1016/J.ENTCS.2016.06.007
description: scientific article; zbMATH DE number 6862944