Affordable Access

Publisher Website

Axiomatisation des tests

Authors
Journal
Theoretical Computer Science
0304-3975
Publisher
Elsevier
Publication Date
Volume
35
Identifiers
DOI: 10.1016/0304-3975(85)90007-6
Disciplines
  • Mathematics

Abstract

Abstract In this paper we give a complete system of equational theories, therewith permitting to deduce all valid equalities in the interpretations where a function symbol is always interpreted as the test: if…then…else. Such a complete system has been described by Bloom and Tindell (1983) for the case of non-ordered algebras having as test a unique operator; we extend this system to the case of ordered complete algebras provided with operators other than this one test, while permitting equalities among those operators (Benoit, 1984).

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

Axiomatisation of fully probabilistic design

on Information Sciences Jan 01, 2012

The design of toxicity tests.

on Special report series (Medical... 1950
More articles like this..