Search Sciweavers | Sciweavers

8766 search results - page 164 / 1754

» Functional logic programming

136

click to vote

ISCAS
1994
IEEE

67views Hardware» more ISCAS 1994»

Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams

15 years 10 months ago

Download www.cs.cmu.edu

Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. C...

claim paper

Read More »

139

click to vote

ISMVL
1994
IEEE

109views Hardware» more ISMVL 1994»

Completeness Criteria in Many-Valued Set Logic under Compositions with Boolean Functions

15 years 10 months ago

Download www.site.uottawa.ca

Ivan Stojmenovic

claim paper

Read More »

135

click to vote

DAC
1993
ACM

109views Computer Architecture» more DAC 1993»

Espresso-Signature: A New Exact Minimizer for Logic Functions

15 years 10 months ago

Download www2.engr.arizona.edu

Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. B...

claim paper

Read More »

139

click to vote

ICLP
1992
Springer

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

15 years 10 months ago

Download gpd.sip.ucm.es

Herbert Kuchen, Francisco Javier López-Frag...

claim paper

Read More »

130

click to vote

VLDB
1993
ACM

116views Database» more VLDB 1993»

A Domain-theoretic Approach to Integrating Functional and Logic Database Languages

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers