Search Sciweavers | Sciweavers

2076 search results - page 34 / 416

» Functional logic overloading

click to vote

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

14 years 28 days ago

Download www.cs.kent.edu

Arvind K. Bansal, Peer Bork

claim paper

Read More »

click to vote

PPDP
1999
Springer

127views Programming Languages» more PPDP 1999»

Functional Plus Logic Programming with Built-In and Symbolic Constraints

14 years 28 days ago

Download gpd.sip.ucm.es

Puri Arenas-Sánchez, Francisco Javier L&oac...

claim paper

Read More »

click to vote

PLILP
1998
Springer

148views Programming Languages» more PLILP 1998»

Embedding Multiset Constraints into a Lazy Functional Logic Language

14 years 26 days ago

Download gpd.sip.ucm.es

Puri Arenas-Sánchez, Francisco Javier L&oac...

claim paper

Read More »

click to vote

ISCAS
1994
IEEE

67views Hardware» more ISCAS 1994»

Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams

14 years 24 days ago

Download www.cs.cmu.edu

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

claim paper

Read More »

click to vote

ISMVL
1994
IEEE

109views Hardware» more ISMVL 1994»

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

14 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers