Abstractions of uniform proofs
type: Item
instance of: scholarly article
title: Abstractions of uniform proofs
zbMATH Open document ID: 1355.68060
DOI: 10.1007/3-540-61735-3_15
author: Paolo Volpe
published in: Algebraic and Logic Programming
publication date: 2017-01-19T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 6676207
MaRDI profile type: Publication
full work available at URL: 3-540-61735-3 15
OpenAlex ID: W1570682926
Recommended article: Abstractions from proofs
Recommended article: Proof theory in the abstract
Recommended article: Q3678693
Recommended article: Q5753925
Recommended article: A proof theory for general unification
Recommended article: Uniform proofs as a foundation for logic programming
Recommended article: Q3490995
Recommended article: Proof Abstraction for Imperative Languages
Recommended article: Unified correspondence as a proof-theoretic tool
Recommended article: Universal abstract consistency class and universal refutation
description: scientific article