Q3989947
type: Item
instance of: scholarly article
zbMATH Open document ID: 0753.68034
author: Joachim Biskup
author: Bernhard Convent
publication date: 1992-06-28T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 35423
zbMATH Keywords: resolution with paramodulation
zbMATH Keywords: dependencies
MaRDI profile type: Publication
Recommended article: Q4282510
Recommended article: Parameterized Resolution with Bounded Conjunction
Recommended article: Relational concurrent refinement
Recommended article: Residuated relational systems
Recommended article: Q4263170
Recommended article: A General Framework for Relational Parametricity
Recommended article: Q3326819
Recommended article: More Relational Concurrent Refinement: Traces and Partial Relations
Recommended article: Relational Parametricity and Separation Logic
description: scientific article; zbMATH DE number 35423