Sciweavers

8766 search results - page 165 / 1754
» Functional logic programming
Sort
View
94
Voted
LICS
1989
IEEE
15 years 6 months ago
A Fully Abstract Semantics for a Functional Language with Logic Variables
Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...
115
Voted
DAC
2008
ACM
15 years 4 months ago
Functionally linear decomposition and synthesis of logic circuits for FPGAs
Tomasz S. Czajkowski, Stephen Dean Brown
AAAI
1992
15 years 3 months ago
A Belief-Function Logic
Alessandro Saffiotti