2268 search results - page 8 / 454 » The Essence of Form Abstraction |
VMCAI
2012
Springer
12 years 3 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
ANTS
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. A description and an example are given of numerical experiments which look for a relation between modular forms for certain congruence subgroups of SL(3, ZZ) and Galois r...
CTRS
1992
14 years 7 hour ago
1992
ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1
CIE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
IJCAI
2003
13 years 9 months ago
2003
This paper studies the dynamics of agent mediated combinatorial trading at the macroscopic level. The combinatorial marketplace consists of a retailer who wishes to sell bundles o...