A sequent calculus for automated reasoning in symbolic computation systems
type: Item
instance of: scholarly article
title: A sequent calculus for automated reasoning in symbolic computation systems
zbMATH Open document ID: 0836.68062
author: Gianna Cioni
author: Attilio Colagrossi
author: Alfonso Miola
published in: Journal of Symbolic Computation
publication date: 1995-08-16T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 786282
zbMATH Keywords: automated reasoning
zbMATH Keywords: symbolic computation
MaRDI profile type: Publication
full work available at URL: jsco.1995.1011
OpenAlex ID: W1968673207
DOI: 10.1006/JSCO.1995.1011
description: scientific article; zbMATH DE number 786282