769 search results - page 42 / 154 » Is Logic all in our Heads |
105
click to vote
ICLP
1997
Springer
15 years 5 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
120
Voted
FUIN
2008
15 years 25 days ago
2008
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
118
click to vote
CORR
2006
Springer
15 years 24 days ago
2006
Springer
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and t...
116
Voted
TCAD
1998
15 years 13 days ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...
117
Voted
ENTCS
2008
15 years 25 days ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...