5243 search results - page 42 / 1049 » Reasoning About Strategies |
TFM
2004
Springer
14 years 1 months ago
2004
Springer
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
ICDT
2003
ACM
14 years 1 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
GI
2009
Springer
14 years 1 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
TOOLS
1998
IEEE
14 years 23 days ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
AAAI
2007
13 years 10 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...