816 search results - page 116 / 164 » Abstract Barycentric Algebras |
CSL
2001
Springer
14 years 7 days ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
FCT
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. We present three results on divisibility monoids. These divisibility monoids were introduced in [11] as an algebraic generalization of Mazurkiewicz trace monoids. (1) We ...
IEAAIE
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
CONCUR
2000
Springer
14 years 2 days ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
CPM
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. Ambiguity in dynamic programming arises from two independent sources, the non-uniqueness of optimal solutions and the particular recursion scheme by which the search spac...