Search Sciweavers | Sciweavers

8766 search results - page 165 / 1754

» Functional logic programming

140

click to vote

LICS
1989
IEEE

104views Automated Reasoning» more LICS 1989»

A Fully Abstract Semantics for a Functional Language with Logic Variables

15 years 11 months ago

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

175

click to vote

DAC
2008
ACM

121views Computer Architecture» more DAC 2008»

Functionally linear decomposition and synthesis of logic circuits for FPGAs

15 years 8 months ago

Download www.eecg.utoronto.ca

Tomasz S. Czajkowski, Stephen Dean Brown

claim paper

Read More »

105

click to vote

IJCAI
2001

66views Artificial Intelligence» more IJCAI 2001»

Identification Constraints and Functional Dependencies in Description Logics

15 years 8 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

147

click to vote

AAAI
1992

130views Intelligent Agents» more AAAI 1992»

A Belief-Function Logic

15 years 8 months ago

Download www.aaai.org

Alessandro Saffiotti

claim paper

Read More »

102

click to vote

IEICET
2006

55views more IEICET 2006»

Single-Electron Logic Systems Based on a Graphical Representation of Digital Functions

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers