External rewriting for skeptical proof assistants
type: Item
instance of: scholarly article
title: External rewriting for skeptical proof assistants
zbMATH Open document ID: 1064.68048
DOI: 10.1023/A:1021975117537
author: Quang-Huy Nguyen
author: Claude Kirchner
author: Hélène Kirchner
published in: Journal of Automated Reasoning
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 1901558
zbMATH Keywords: certification
zbMATH Keywords: term rewriting
zbMATH Keywords: \(\rho\)-calculus
zbMATH Keywords: proof assistant
zbMATH Keywords: type theory
describes a project that uses: Coq
describes a project that uses: ELAN
describes a project that uses: Gandalf
MaRDI profile type: Publication
full work available at URL: a:1021975117537
OpenAlex ID: W1582156629
description: scientific article; zbMATH DE number 1901558