Sciweavers

2585 search results - page 24 / 517

» Automating Coherent Logic

81

DLOG
2009

82views Automated Reasoning» more DLOG 2009»

Unification in the Description Logic EL

15 years 3 months ago

Unification in the Description Logic EL

Download web2.clarkson.edu

Franz Baader, Barbara Morawska

claim paper

Read More »

72

CSL
2002
Springer

123views Automated Reasoning» more CSL 2002»

Automata, Logic, and XML

15 years 1 months ago

Automata, Logic, and XML

Download alpha.uhasselt.be

Frank Neven

claim paper

Read More »

95

Voted

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

15 years 1 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

87

Voted

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

15 years 9 days ago

Undecidability of Propositional Separation Logic and Its Neighbours

Download www.doc.ic.ac.uk

James Brotherston, Max I. Kanovich

claim paper

Read More »

100

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

15 years 9 days 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 »