Sciweavers

2067 search results - page 30 / 414

» Logics of propositional control

137

Voted

AI
2005
Springer

86views Artificial Intelligence» more AI 2005»

Partition-based logical reasoning for first-order and propositional theories

15 years 7 months ago

Partition-based logical reasoning for first-order and propositional theories

Download reason.cs.uiuc.edu

Eyal Amir, Sheila A. McIlraith

claim paper

Read More »

131

Voted

AML
2005

66views more AML 2005»

Propositional logic of continuous transformations in Cantor space

15 years 7 months ago

Propositional logic of continuous transformations in Cantor space

Download theory.stanford.edu

Grigori Mints, Ting Zhang

claim paper

Read More »

140

Voted

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

15 years 7 months ago

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

152

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

15 years 5 months ago

Undecidability of Propositional Separation Logic and Its Neighbours

Download www.doc.ic.ac.uk

James Brotherston, Max I. Kanovich

claim paper

Read More »

122

Voted

CORR
2010
Springer

61views Education» more CORR 2010»

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

15 years 5 months ago

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

Download www.cs.ioc.ee

Luis Pinto, Tarmo Uustalu

claim paper

Read More »

« Prev « First page 30 / 414 Last » Next »