Generalized interpolation in CASL
type: Item
instance of: scholarly article
title: Generalized interpolation in CASL
zbMATH Open document ID: 1099.68663
DOI: 10.1016/S0020-0190(00)00120-4
author: Tomasz Borzyszkowski
published in: Information Processing Letters
publication date: 2006-11-23T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 5075950
describes a project that uses: CASL
describes a project that uses: CoFI
MaRDI profile type: Publication
cites work: Q3839053
cites work: Q4875304
cites work: Model theory
cites work: On a generalized modularization theorem
cites work: Q5642540
cites work: Institutions: abstract model theory for specification and programming
cites work: An extended joint consistency theorem for free logic with equality
cites work: Q4255593
cites work: Q5536619
cites work: Q4175531
cites work: On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
cites work: Q4790386
cites work: Toward formal development of programs from algebraic specifications: Parameterisation revisited
cites work: Specifications in an arbitrary institution
cites work: Q3776610
full work available at URL: s0020-0190(00)00120-4
OpenAlex ID: W1522400614
description: scientific article; zbMATH DE number 5075950