3470 search results - page 442 / 694 » Head-Elementary-Set-Free Logic Programs |
222
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
174
click to vote
ENTCS
2008
15 years 6 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
172
click to vote
NC
2008
15 years 6 months ago
2008
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions...
289
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
167
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...