Sciweavers

3891 search results - page 41 / 779

» A logic for strategic reasoning

23

CSL
2000
Springer

95views Automated Reasoning» more CSL 2000»

Elimination of Negation in a Logical Framework

14 years 7 hour ago

Elimination of Negation in a Logical Framework

Download reports-archive.adm.cs.cmu.edu

Alberto Momigliano

claim paper

Read More »

39

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

13 years 12 months ago

Functional and Constraint Logic Programming

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

27

LICS
1999
IEEE

106views Automated Reasoning» more LICS 1999»

On Hoare Logic and Kleene Algebra with Tests

13 years 12 months ago

On Hoare Logic and Kleene Algebra with Tests

Download www.cparity.com

Dexter Kozen

claim paper

Read More »

14

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

13 years 12 months ago

Introducing Temporal Description Logics

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

22

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

13 years 12 months ago

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

« Prev « First page 41 / 779 Last » Next »