131 search results - page 1 / 27 » An Equational Re-engineering of Set Theories |
ICCS
2003
Springer
14 years 25 days ago
2003
Springer
FTP
1998
Springer
13 years 11 months ago
1998
Springer
SIAMAM
2002
13 years 7 months ago
2002
A new morphological multiscale method in 3D image processing is presented which combines the image processing methodology based on nonlinear diffusion equations and the theory of g...
IPL
2008
13 years 7 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
PLILP
1993
Springer
13 years 11 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...