Sciweavers

3773 search results - page 8 / 755

» Logical Reasoning

111

SIAMCOMP
2012

234views Logical Reasoning» more SIAMCOMP 2012»

Envy-Free Makespan Approximation

13 years 17 hour ago

Envy-Free Makespan Approximation

Download www.cs.tau.ac.il

Edith Cohen, Michal Feldman, Amos Fiat, Haim Kapla...

claim paper

Read More »

80

APLAS
2010
ACM

142views Programming Languages» more APLAS 2010»

Reasoning about Computations Using Two-Levels of Logic

14 years 9 months ago

Reasoning about Computations Using Two-Levels of Logic

Download www.lix.polytechnique.fr

We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...

Dale Miller

claim paper

Read More »

64

CADE
2008
Springer

98views Logical Reasoning» more CADE 2008»

Quantitative Separation Logic and Programs with Lists

15 years 10 months ago

Quantitative Separation Logic and Programs with Lists

Download www-verimag.imag.fr

Marius Bozga, Radu Iosif, Swann Perarnau

claim paper

Read More »

76

CADE
2006
Springer

117views Logical Reasoning» more CADE 2006»

Representing and Reasoning with Operational Semantics

15 years 10 months ago

Representing and Reasoning with Operational Semantics

Download www.easychair.org

Dale Miller

claim paper

Read More »

67

CADE
2004
Springer

90views Logical Reasoning» more CADE 2004»

Reasoning with large numbers of individuals moves on: extending the instance store

15 years 10 months ago

Reasoning with large numbers of individuals moves on: extending the instance store

Download sunsite.informatik.rwth-aachen.de

Lei Li

claim paper

Read More »

« Prev « First page 8 / 755 Last » Next »