3552 search results - page 547 / 711 » Proof theory in the abstract |
167
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
158
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The term of a "process" is used in Software Engineering (SE) theories and practices in many different ways, which cause confusion. In this paper we will firstly...
159
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
171
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Game theory is a widely used formal model for studying strategical interactions between agents. Boolean games [8] are two players, zero-sum static games where players...
151
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...