3552 search results - page 260 / 711 » Proof theory in the abstract |
147
click to vote
JCDCG
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Musical rhythm is considered from the point of view of geometry. The interaction between the two fields yields new insights into rhythm and music theory, as well as new ...
129
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...
186
click to vote
TAGT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We investigate and compare four variants of the doublepushout approach to graph transformation. Besides the traditional approach with arbitrary matching and injective rig...
158
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
175
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...