943 search results - page 3 / 189 » Virtual First-Order Structure |
82
Voted
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
70
Voted
IJFCS
2008
15 years 1 months ago
2008
96
Voted
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
105
Voted
CSL
2010
Springer
15 years 2 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
129
Voted
ACL
1990
15 years 2 months ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...