Sciweavers

2152 search results - page 7 / 431

» On Automating the Calculus of Relations

17

DEON
2004
Springer

88views Automated Reasoning» more DEON 2004»

Obligation Change in Dependence Logic and Situation Calculus

13 years 11 months ago

Obligation Change in Dependence Logic and Situation Calculus

Download www.irit.fr

Robert Demolombe, Andreas Herzig

claim paper

Read More »

15

LICS
1995
IEEE

88views Automated Reasoning» more LICS 1995»

A Typed Calculus of Synchronous Processes

13 years 11 months ago

A Typed Calculus of Synchronous Processes

Download www.dcs.gla.ac.uk

Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

21

LICS
1987
IEEE

80views Automated Reasoning» more LICS 1987»

Kripke-Style models for typed lambda calculus

13 years 11 months ago

Kripke-Style models for typed lambda calculus

Download www.disi.unige.it

John C. Mitchell, Eugenio Moggi

claim paper

Read More »

16

DLOG
2008

89views Automated Reasoning» more DLOG 2008»

The SAT-Tableau Calculus

13 years 9 months ago

The SAT-Tableau Calculus

Download www.kr.tuwien.ac.at

Uwe Keller, Stijn Heymans

claim paper

Read More »

21

CL
2000
Springer

82views Automated Reasoning» more CL 2000»

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

13 years 7 months ago

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

Download www.stoerr.net

Steffen Hölldobler, Hans-Peter Störr

claim paper

Read More »

« Prev « First page 7 / 431 Last » Next »