Sciweavers

2585 search results - page 64 / 517

» Automating Coherent Logic

23

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

14 years 3 months ago

Adapting Logics

Download www.easychair.org

Andreas Blass

claim paper

Read More »

22

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

14 years 3 months ago

Context Semantics, Linear Logic and Computational Complexity

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

25

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

14 years 3 months ago

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

26

CSL
2005
Springer

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

14 years 3 months ago

On the Complexity of Hybrid Logics with Binders

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

claim paper

Read More »

15

ICLP
2005
Springer

74views Automated Reasoning» more ICLP 2005»

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

14 years 3 months ago

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

Download www.cs.bris.ac.uk

Oliver Ray

claim paper

Read More »

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