The axiomatization of override and update
type: Item
instance of: scholarly article
title: The axiomatization of override and update
zbMATH Open document ID: 1194.03020
author: Jasper Berendsen
author: David N. Jansen
author: Julien Schmaltz
author: F. Vaandrager
published in: Journal of Applied Logic
publication date: 2010-06-11T00:00:00Z
full work available at URL: http://hdl.handle.net/2066/83911
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 08A02
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5720216
zbMATH Keywords: overriding
zbMATH Keywords: function algebra
zbMATH Keywords: equational logic
zbMATH Keywords: completeness
zbMATH Keywords: SMT solvers
zbMATH Keywords: automated deduction
describes a project that uses: Isabelle/HOL
describes a project that uses: Z
describes a project that uses: Yices
MaRDI profile type: Publication
OpenAlex ID: W1971094484
cites work: Q3899466
cites work: Q4083730
cites work: Compositional Abstraction in Real-Time Model Checking
cites work: Model theory.
cites work: Q4692885
cites work: A new approach to the maximum-flow problem
cites work: Q3707340
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
cites work: Q3995087
cites work: Subsumption of the Theory of Boolean Algebras under the Theory of Rings
cites work: Q3141916
DOI: 10.1016/J.JAL.2009.11.001
description: scientific article; zbMATH DE number 5720216