Sciweavers

2152 search results - page 7 / 431

» On Automating the Calculus of Relations

106

Voted

DEON
2004
Springer

88views Automated Reasoning» more DEON 2004»

Obligation Change in Dependence Logic and Situation Calculus

15 years 7 months ago

Obligation Change in Dependence Logic and Situation Calculus

Download www.irit.fr

Robert Demolombe, Andreas Herzig

claim paper

Read More »

108

LICS
1995
IEEE

88views Automated Reasoning» more LICS 1995»

A Typed Calculus of Synchronous Processes

15 years 7 months ago

A Typed Calculus of Synchronous Processes

Download www.dcs.gla.ac.uk

Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

99

LICS
1987
IEEE

80views Automated Reasoning» more LICS 1987»

Kripke-Style models for typed lambda calculus

15 years 7 months ago

Kripke-Style models for typed lambda calculus

Download www.disi.unige.it

John C. Mitchell, Eugenio Moggi

claim paper

Read More »

86

DLOG
2008

89views Automated Reasoning» more DLOG 2008»

The SAT-Tableau Calculus

15 years 6 months ago

The SAT-Tableau Calculus

Download www.kr.tuwien.ac.at

Uwe Keller, Stijn Heymans

claim paper

Read More »

108

CL
2000
Springer

82views Automated Reasoning» more CL 2000»

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

15 years 3 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 »