Search Sciweavers | Sciweavers

8228 search results - page 125 / 1646

» Structural Logical Relations

click to vote

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

15 years 6 months ago

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

claim paper

Read More »

click to vote

KGC
1993
Springer

72views Automated Reasoning» more KGC 1993»

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

15 years 6 months ago

Download www-philo.univ-paris1.fr

Vincent Danos, Jean-Baptiste Joinet, Harold Schell...

claim paper

Read More »

click to vote

VLDB
1992
ACM

89views Database» more VLDB 1992»

Resilient Logical Structures for Efficient Management of Replicated Data

15 years 6 months ago

Download www.vldb.org

Divyakant Agrawal, Amr El Abbadi

claim paper

Read More »

click to vote

ISLPED
1995
ACM

84views Hardware» more ISLPED 1995»

Explicit evaluation of short circuit power dissipation for CMOS logic structures

15 years 6 months ago

Download www.cecs.uci.edu

S. Turgis, Nadine Azémard, Daniel Auvergne

claim paper

Read More »

click to vote

CONCUR
1991
Springer

92views Distributed And Parallel Com...» more CONCUR 1991»

Geometric Logic, Causality and Event Structures

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers