Search Sciweavers | Sciweavers

2529 search results - page 60 / 506

» The Logical Structure of Binding

114

click to vote

CONCUR
2009
Springer

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

A Logic-Based Framework for Reasoning about Composite Data Structures

15 years 11 months ago

Download www.memics.cz

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

claim paper

Read More »

120

click to vote

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

15 years 10 months ago

Download www.cplire.ru

Alexei A. Morozov

claim paper

Read More »

106

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

15 years 10 months ago

Download www.brown.edu

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

claim paper

Read More »

126

click to vote

ISVLSI
2002
IEEE

84views VLSI» more ISVLSI 2002»

Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation

15 years 9 months ago

Download eis.eit.uni-kl.de

Markus Wedler, Dominik Stoffel, Wolfgang Kunz

claim paper

Read More »

106

click to vote

ISMVL
1999
IEEE

113views Hardware» more ISMVL 1999»

Supplementary Symmetrical Logic Circuit Structure

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers