174 search results - page 1 / 35 » Existential Fixed-Point Logic |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
BIRTHDAY
1987
Springer
13 years 9 months ago
1987
Springer
BIRTHDAY
2010
Springer
13 years 6 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...
CSL
2009
Springer
13 years 9 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own ...