2373 search results - page 17 / 475 » On the Theory of Structural Subtyping |
FSTTCS
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper we present a structure theory for generalized linear dynamic factor models (GDFM’s). Emphasis is laid on the so-called zeroless case. GDFM’s provide a way of ...
AAMAS
2008
Springer
14 years 9 months ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
59
Voted
ECIS
2000
14 years 11 months ago
2000
