Sciweavers

3970 search results - page 62 / 794

» A Logic For Causal Reasoning

15

CSL
2002
Springer

123views Automated Reasoning» more CSL 2002»

Automata, Logic, and XML

13 years 7 months ago

Automata, Logic, and XML

Download alpha.uhasselt.be

Frank Neven

claim paper

Read More »

18

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

13 years 7 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

18

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

13 years 6 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 »

20

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

13 years 6 months ago

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

Download www.cs.sfu.ca

Shahab Tasharrofi, Eugenia Ternovska

claim paper

Read More »

20

DLOG
2010

115views Automated Reasoning» more DLOG 2010»

A Compatible Approach to Temporal Description Logics

13 years 5 months ago

A Compatible Approach to Temporal Description Logics

Download www.cs.uwaterloo.ca

Norihiro Kamide

claim paper

Read More »

« Prev « First page 62 / 794 Last » Next »