1916 search results - page 84 / 384 » Reasoning with class algebra |
ATVA
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
IFIP
2009
Springer
14 years 5 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
FMOODS
2003
14 years 16 days ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
FSS
2008
13 years 11 months ago
2008
In this paper we consider algebras of fuzzy truth values equipped with an implication operation. Generalizing the definition of type-1 fuzzy implications, we discuss extended fuzz...
ENTCS
2002
13 years 11 months ago
2002
We investigate the reasons for which the existence of certain right adjoints implies the existence of some final coalgebras, and vice-versa. In particular we prove and discuss the...