Sciweavers

2076 search results - page 34 / 416
» Functional logic overloading
Sort
View
PPDP
1999
Springer
15 years 5 months ago
Functional Plus Logic Programming with Built-In and Symbolic Constraints
Puri Arenas-Sánchez, Francisco Javier L&oac...
PLILP
1998
Springer
15 years 5 months ago
Embedding Multiset Constraints into a Lazy Functional Logic Language
Puri Arenas-Sánchez, Francisco Javier L&oac...
ISCAS
1994
IEEE
67views Hardware» more  ISCAS 1994»
15 years 5 months ago
Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams
Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. C...