VDM specification for the tree-modification method of refutation
type: Item
instance of: scholarly article
title: VDM specification for the tree-modification method of refutation
zbMATH Open document ID: 0875.68636
author: V. S. Protsenko
author: V. V. Yurchishin
published in: Programming and Computer Software
publication date: 1997-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 952253
zbMATH Keywords: VDM
zbMATH Keywords: formal specification
zbMATH Keywords: logical inferences
MaRDI profile type: Publication
Recommended article: VDM: Axiomatising its Propositional Logic
Recommended article: The Method of Tree-Hypersequents for Modal Propositional Logic
Recommended article: Q4312477
Recommended article: Q4296956
Recommended article: Rules and Refutation Rules for the Logic of Finite n-ary Trees
Recommended article: Refutation systems in modal logic
Recommended article: Q4443210
Recommended article: Tree-like unit refutations in Horn constraint systems
Recommended article: Hoare's logic and VDM
description: scientific article; zbMATH DE number 952253