scholarly journals Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

2010 ◽  
Vol 32 ◽  
pp. 1-14 ◽  
Author(s):  
Ignacio Fábregas ◽  
David de Frutos Escrig ◽  
Miguel Palomino
Keyword(s):  
Equational Characterization ◽  
Simulation Semantics

Equational characterization of the quaternary discriminator

2000 ◽  
Vol 43 (1) ◽  
pp. 99-100 ◽  
Author(s):  
D. Vaggione
Keyword(s):  
Equational Characterization

scholarly journals Equational characterization of Nelson algebra.

1969 ◽  
Vol 10 (3) ◽  
pp. 285-297 ◽  
Author(s):  
Diana Brignole
Keyword(s):  
Nelson Algebra ◽  
Equational Characterization

scholarly journals The Powerdomain of Indexed Valuations

2002 ◽  
Vol 9 (38) ◽  
Author(s):  
Daniele Varacca
Keyword(s):  
Denotational Semantics ◽  
Point Of View ◽  
Domain Theory ◽  
Theoretic Point ◽  
Equational Characterization ◽  
Imperative Language

This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using the notion of powerdomain, while probability is modeled using the powerdomain of valuations. Those two functors do not combine well, as they are. We define the notion of powerdomain of indexed valuations, which can be combined nicely with the usual nondeterministic powerdomain. We show an equational characterization of our construction. Finally we discuss the computational meaning of indexed valuations, and we show how they can be used, by giving a denotational semantics of a simple imperative language.

scholarly journals Equational Characterization of All Varieties of MV-Algebras

1999 ◽  
Vol 221 (2) ◽  
pp. 463-474 ◽  
Author(s):  
Antonio Di Nola ◽  
Ada Lettieri
Keyword(s):  
Equational Characterization ◽  
Mv Algebras

An Equational Characterization of Quasi-injective Modules

1997 ◽  
Vol 25 (11) ◽  
pp. 3545-3549
Author(s):  
A. Laradji
Keyword(s):  
Injective Modules ◽  
Equational Characterization

scholarly journals The algebra of metric betweenness II: Geometry and equational characterization of weakly median graphs

2008 ◽  
Vol 29 (3) ◽  
pp. 676-700 ◽  
Author(s):  
Hans-Jürgen Bandelt ◽  
Victor Chepoi
Keyword(s):  
Median Graphs ◽  
Equational Characterization

Families of algebras with unique (sub-) direct factorization: Equational characterization of factorization

1966 ◽  
Vol 166 (4) ◽  
pp. 302-326 ◽  
Author(s):  
Alfred L. Foster
Keyword(s):  
Direct Factorization ◽  
Equational Characterization

scholarly journals An equational characterization of the conic construction of cubic curves

1995 ◽  
Author(s):  
W. McCune ◽  
R. Padmanabhan
Keyword(s):  
Cubic Curves ◽  
Equational Characterization
Sign in / Sign up

Export Citation Format

Share Document