1768 search results - page 105 / 354 » A Logic for Algebraic Effects |
97
Voted
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
137
Voted
BDA
2004
15 years 2 months ago
2004
XQuery is the emerging standard for querying XML data sources. XLive is a light XML/XQuery mediator developed at University of Versailles whose engine processes an XML algebra der...
121
click to vote
IADIS
2004
15 years 2 months ago
2004
The ALPS project (Active Learning in Problem Solving) is building and evaluating an educational technology that combines cognitive tutors with a novel interactive questioning envi...
128
click to vote
CONCUR
1992
Springer
15 years 4 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...