More Church-Rosser proofs (in Isabelle/HOL)
type: Item
instance of: scholarly article
title: More Church-Rosser proofs (in Isabelle/HOL)
zbMATH Open document ID: 0958.03011
DOI: 10.1023/A:1006496715975
author: Tobias Nipkow
published in: Journal of Automated Reasoning
publication date: 2001-02-18T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1565452
zbMATH Keywords: lambda-calculus
zbMATH Keywords: Church-Rosser proof
zbMATH Keywords: theorem proving
describes a project that uses: Isabelle
describes a project that uses: Isabelle/HOL
MaRDI profile type: Publication
full work available at URL: a:1006496715975
OpenAlex ID: W1527418902
description: scientific article; zbMATH DE number 1565452