382 search results - page 1 / 77 » Complexity and Expressive Power of Logic Programming |
COCO
1997
Springer
14 years 3 months ago
1997
Springer
ICALP
2004
Springer
14 years 4 months ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
IANDC
2007
13 years 11 months ago
2007
We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provide...
ERSHOV
2001
Springer
14 years 3 months ago
2001
Springer
TYPES
1993
Springer
14 years 3 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...