Sciweavers

2585 search results - page 11 / 517

» Automating Coherent Logic

168

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 7 months ago

Functional and Constraint Logic Programming

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

119

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

15 years 7 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 »

119

LICS
1999
IEEE

106views Automated Reasoning» more LICS 1999»

On Hoare Logic and Kleene Algebra with Tests

15 years 7 months ago

On Hoare Logic and Kleene Algebra with Tests

Download www.cparity.com

Dexter Kozen

claim paper

Read More »

87

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

15 years 7 months ago

Introducing Temporal Description Logics

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

96

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

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

15 years 7 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 »