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

A geometric characterization of parametric cubic curves

1989 ◽  
Vol 8 (3) ◽  
pp. 147-163 ◽  
Author(s):  
Maureen C. Stone ◽  
Tony D. DeRose
Keyword(s):  
Geometric Characterization ◽  
Cubic Curves

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
Sign in / Sign up

Export Citation Format

Share Document