3571 search results - page 420 / 715 » Cohen and Set Theory |
174
click to vote
JLP
2000
15 years 6 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
190
click to vote
JSC
2000
15 years 6 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
170
click to vote
ITP
2002
15 years 6 months ago
2002
Presents a theoretical approach to understanding the local culture of firms in the multinational information sector. Called situating culture, this approach holds that cultural und...
138
click to vote
MSCS
1998
15 years 6 months ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
152
Voted
TC
1998
15 years 6 months ago
1998
—When parallel programs are executed on multiprocessors with private caches, a set of data may be repeatedly used and modified by different threads. Such data sharing can often r...