1127 search results - page 24 / 226 » Theory Extension in ACL2(r) |
103
click to vote
ENTCS
2008
15 years 22 days ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
99
Voted
EOR
2008
15 years 22 days ago
2008
This paper surveys some applications of cooperative game theory to supply chain management. Special emphasis is placed on two important aspects of cooperative games: profit alloca...
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
105
Voted
CADE
2004
Springer
15 years 6 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
87
Voted
IJMMS
2006
15 years 19 days ago
2006
Based on the expectancy disconfirmation theory, this study proposes a decomposed technology acceptance model in the context of an e-learning service. In the proposed model, the pe...