7988 search results - page 447 / 1598 » A Useful Undecidable Theory |
150
click to vote
APLAS
2003
ACM
16 years 4 days ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
141
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
184
click to vote
BIOSYSTEMS
2008
15 years 7 months ago
2008
This paper has two primary aims. The first is to provide an introductory discussion of hyperset theory and its usefulness for modeling complex systems. The second aim is a hyperset...
170
click to vote
IJAMC
2008
15 years 6 months ago
2008
: Access management for learning communities requires a unified theory, sustaining the implementation of instructional policies, for `social networks'. The management method w...
154
click to vote
IJAC
2006
15 years 6 months ago
2006
Self-similar inverse semigroups are defined using automata theory. Adjacency semigroups of s-resolved Markov partitions of Smale spaces are introduced. It is proved that a Smale s...