Search Sciweavers | Sciweavers

2529 search results - page 60 / 506

» The Logical Structure of Binding

131

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

16 years 23 days ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

136

click to vote

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

16 years 10 days ago

Download www.cplire.ru

Alexei A. Morozov

claim paper

Read More »

122

click to vote

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

A constraint logic programming approach to 3D structure determination of large protein complexes

16 years 4 days ago

Download www.brown.edu

Alessandro Dal Palù, Enrico Pontelli, Jing ...

claim paper

Read More »

139

click to vote

ISVLSI
2002
IEEE

84views VLSI» more ISVLSI 2002»

Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation

15 years 11 months ago

Download eis.eit.uni-kl.de

Markus Wedler, Dominik Stoffel, Wolfgang Kunz

claim paper

Read More »

121

click to vote

ISMVL
1999
IEEE

113views Hardware» more ISMVL 1999»

Supplementary Symmetrical Logic Circuit Structure

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers