Search Sciweavers | Sciweavers

8228 search results - page 125 / 1646

» Structural Logical Relations

134

click to vote

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

15 years 10 months ago

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

claim paper

Read More »

125

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 10 months ago

Download www-philo.univ-paris1.fr

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

claim paper

Read More »

127

click to vote

VLDB
1992
ACM

89views Database» more VLDB 1992»

Resilient Logical Structures for Efficient Management of Replicated Data

15 years 10 months ago

Download www.vldb.org

Divyakant Agrawal, Amr El Abbadi

claim paper

Read More »

128

click to vote

ISLPED
1995
ACM

84views Hardware» more ISLPED 1995»

Explicit evaluation of short circuit power dissipation for CMOS logic structures

15 years 10 months ago

Download www.cecs.uci.edu

S. Turgis, Nadine Azémard, Daniel Auvergne

claim paper

Read More »

145

click to vote

CONCUR
1991
Springer

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

Geometric Logic, Causality and Event Structures

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers