Sciweavers

3970 search results - page 62 / 794

» A Logic For Causal Reasoning

90

CSL
2002
Springer

123views Automated Reasoning» more CSL 2002»

Automata, Logic, and XML

15 years 3 months ago

Automata, Logic, and XML

Download alpha.uhasselt.be

Frank Neven

claim paper

Read More »

110

Voted

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

15 years 3 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

104

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

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

112

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

15 years 2 months ago

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

Download www.cs.sfu.ca

Shahab Tasharrofi, Eugenia Ternovska

claim paper

Read More »

110

Voted

DLOG
2010

115views Automated Reasoning» more DLOG 2010»

A Compatible Approach to Temporal Description Logics

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