Search Sciweavers | Sciweavers

8228 search results - page 124 / 1646

» Structural Logical Relations

click to vote

CONCUR
2009
Springer

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

A Logic-Based Framework for Reasoning about Composite Data Structures

14 years 4 months ago

Download www.memics.cz

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

claim paper

Read More »

click to vote

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

14 years 4 months ago

Download www.cplire.ru

Alexei A. Morozov

claim paper

Read More »

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

14 years 4 months ago

Download www.brown.edu

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

claim paper

Read More »

click to vote

ISVLSI
2002
IEEE

84views VLSI» more ISVLSI 2002»

Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation

14 years 3 months ago

Download eis.eit.uni-kl.de

Markus Wedler, Dominik Stoffel, Wolfgang Kunz

claim paper

Read More »

click to vote

ISMVL
1999
IEEE

113views Hardware» more ISMVL 1999»

Supplementary Symmetrical Logic Circuit Structure

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers