4401 search results - page 175 / 881 » Computing with Default Logic |
159
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems...
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
164
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...