Sciweavers

2585 search results - page 11 / 517

» Automating Coherent Logic

37

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

13 years 11 months ago

Functional and Constraint Logic Programming

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

16

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

13 years 11 months ago

Choice Logic Programs and Nash Equilibria in Strategic Games

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

25

LICS
1999
IEEE

106views Automated Reasoning» more LICS 1999»

On Hoare Logic and Kleene Algebra with Tests

13 years 11 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 11 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 11 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 11 / 517 Last » Next »