Sciweavers

3776 search results - page 41 / 756

» Partition-Based Logical Reasoning

78

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

A Deductive Study of the C-CLASSICde Description Logic

15 years 3 months ago

A Deductive Study of the C-CLASSICde Description Logic

Download www.aaai.org

Véronique Ventos

claim paper

Read More »

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

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

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

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

« Prev « First page 41 / 756 Last » Next »