647 search results - page 88 / 130 » Generic Trace Logics |
150
click to vote
VIP
2001
15 years 5 months ago
2001
The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in...
139
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
120
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
122
Voted
LATA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
152
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...