845 search results - page 35 / 169 » Connecting Many-Sorted Theories |
IAT
2009
IEEE
13 years 6 months ago
2009
IEEE
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
FUIN
2010
13 years 5 months ago
2010
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
SIAMMA
2010
13 years 3 months ago
2010
In this paper we study the interior transmission problem and transmission eigenvalues for multiplicative perturbations of linear partial differential operator of order 2 with cons...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
ENTCS
2007
13 years 8 months ago
2007
Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being esta...