Cooperation of background reasoners in theory reasoning by residue sharing
type: Item
instance of: scholarly article
title: Cooperation of background reasoners in theory reasoning by residue sharing
zbMATH Open document ID: 1019.03004
DOI: 10.1023/A:1022587501759
author: Cesare Tinelli
published in: Journal of Automated Reasoning
publication date: 2003-06-09T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1924931
zbMATH Keywords: theory reasoning
zbMATH Keywords: multiple background reasoners
MaRDI profile type: Publication
full work available at URL: a:1022587501759
OpenAlex ID: W2175599263
Recommended article: Coherence for sharing proof nets
Recommended article: Coherence for sharing proof-nets
Recommended article: Q4524781
Recommended article: Q4242056
Recommended article: Combined reasoning by automated cooperation
Recommended article: Towards incorporating background theories into quantifier elimination
Recommended article: Q4246966
Recommended article: Q3071801
Recommended article: Compositional Reasoning about Shared Futures
Recommended article: Cooperation in heterogeneous theorem prover networks (Diss., Univ. Kaiserslautern)
description: scientific article; zbMATH DE number 1924931