Sciweavers

3891 search results - page 53 / 779

» A logic for strategic reasoning

113

CSL
2002
Springer

123views Automated Reasoning» more CSL 2002»

Automata, Logic, and XML

15 years 6 months ago

Automata, Logic, and XML

Download alpha.uhasselt.be

Frank Neven

claim paper

Read More »

135

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

15 years 5 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

129

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

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

130

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

15 years 4 months ago

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

Download www.cs.sfu.ca

Shahab Tasharrofi, Eugenia Ternovska

claim paper

Read More »

127

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

15 years 4 months ago

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

Download lat.inf.tu-dresden.de

Franz Baader, Marcel Lippmann, Hongkai Liu

claim paper

Read More »

« Prev « First page 53 / 779 Last » Next »