290 search results - page 52 / 58 » Congruence for Structural Congruences |
AAMAS
2010
Springer
13 years 7 months ago
2010
Springer
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The Hamming weight enumerator function of the formally self-dual even, binary extended quadratic residue code of prime p = 8m + 1 is given by Gleason's theorem for singly-eve...
IANDC
2008
13 years 7 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
ENTCS
2006
13 years 7 months ago
2006
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...
ENTCS
2006
13 years 7 months ago
2006
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...