Sciweavers

2585 search results - page 24 / 517

» Automating Coherent Logic

150

DLOG
2009

82views Automated Reasoning» more DLOG 2009»

Unification in the Description Logic EL

15 years 8 months ago

Unification in the Description Logic EL

Download web2.clarkson.edu

Franz Baader, Barbara Morawska

claim paper

Read More »

143

Voted

CSL
2002
Springer

123views Automated Reasoning» more CSL 2002»

Automata, Logic, and XML

15 years 7 months ago

Automata, Logic, and XML

Download alpha.uhasselt.be

Frank Neven

claim paper

Read More »

167

Voted

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

15 years 7 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

151

Voted

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

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

156

Voted

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

15 years 5 months ago

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

Download www.cs.sfu.ca

Shahab Tasharrofi, Eugenia Ternovska

claim paper

Read More »

« Prev « First page 24 / 517 Last » Next »