Sciweavers

2585 search results - page 5 / 517

» Automating Coherent Logic

24

ICLP
1991
Springer

173views Automated Reasoning» more ICLP 1991»

Abstract Interpretation of Logic Programs

13 years 11 months ago

Abstract Interpretation of Logic Programs

Download www.clip.dia.fi.upm.es

Interpretation of Logic Programs 1

Patrick Cousot

claim paper

Read More »

19

LPAR
2010
Springer

130views Automated Reasoning» more LPAR 2010»

An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory

13 years 5 months ago

An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory

Download nicosia.is.s.u-tokyo.ac.jp

In the celebrated G

Yoichi Hirai

claim paper

Read More »

15

CADE
2007
Springer

117views Logical Reasoning» more CADE 2007»

Logical Engineering with Instance-Based Methods

14 years 7 months ago

Logical Engineering with Instance-Based Methods

Download users.rsise.anu.edu.au

Peter Baumgartner

claim paper

Read More »

18

CADE
2002
Springer

141views Logical Reasoning» more CADE 2002»

HyLoRes 1.0: Direct Resolution for Hybrid Logics

14 years 7 months ago

HyLoRes 1.0: Direct Resolution for Hybrid Logics

Download hylo.loria.fr

Carlos Areces, Juan Heguiabehere

claim paper

Read More »

25

CADE
2002
Springer

136views Logical Reasoning» more CADE 2002»

Temporal Logic for Proof-Carrying Code

14 years 7 months ago

Temporal Logic for Proof-Carrying Code

Download www.cs.cmu.edu

Andrew Bernard, Peter Lee

claim paper

Read More »

« Prev « First page 5 / 517 Last » Next »