Sciweavers

3776 search results - page 129 / 756

» Partition-Based Logical Reasoning

168

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

16 years 1 months ago

Adapting Logics

Download www.easychair.org

Andreas Blass

claim paper

Read More »

140

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

16 years 1 months ago

Context Semantics, Linear Logic and Computational Complexity

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

181

Voted

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

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

16 years 1 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 »

139

CSL
2005
Springer

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

16 years 1 months ago

On the Complexity of Hybrid Logics with Binders

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

claim paper

Read More »

133

ICLP
2005
Springer

74views Automated Reasoning» more ICLP 2005»

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

16 years 1 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 129 / 756 Last » Next »