709 search results - page 12 / 142 » An Equational Theory for Transactions |
ENTCS
2007
14 years 11 months ago
2007
We generalise the traditional approach of Smyth and Plotkin to the solution of recursive domain equations from order-enriched structures to bicategorical ones and thereby develop ...
101
click to vote
ESORICS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
DKE
2007
14 years 11 months ago
2007
In this paper we explore how (micro)economic theory can be used to analyze and model the exchange of information on the Web. More specifically, we consider searchers for informati...
80
Voted
IPL
2006
14 years 11 months ago
2006
Knuth-Bendix completions of the equational theories of k 2 commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This impro...
71
Voted
OL
2008
14 years 11 months ago
2008
: This short article offers economically intuitive proofs of the Euler equation and the maximum principle based on one of the best known results in economics, namely that the margi...