Sciweavers

3773 search results - page 38 / 755

» Logical Reasoning

104

CL
2000
Springer

111views Automated Reasoning» more CL 2000»

Computational Logic: Memories of the Past and Challenges for the Future

15 years 7 months ago

Computational Logic: Memories of the Past and Challenges for the Future

Download www.computational-logic.org

John Alan Robinson

claim paper

Read More »

98

CSL
2000
Springer

95views Automated Reasoning» more CSL 2000»

Elimination of Negation in a Logical Framework

15 years 7 months ago

Elimination of Negation in a Logical Framework

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

Alberto Momigliano

claim paper

Read More »

170

Voted

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 »

120

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 »

121

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 »

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