3571 search results - page 301 / 715 » Cohen and Set Theory |
166
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
167
click to vote
ACTA
2007
15 years 7 months ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
134
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is sho...
146
click to vote
DM
2008
15 years 6 months ago
2008
The core of a game v on N, which is the set of additive games dominating v such that (N) = v(N), is a central notion in cooperative game theory, decision making and in combinator...
172
click to vote
ECEASST
2008
15 years 6 months ago
2008
: This paper introduces negative application conditions for reconfigurable place/transition nets. These are Petri nets together with a set of rules that allow changing the net and ...