Search Sciweavers | Sciweavers

884 search results - page 14 / 177

» A Proof Theory for DL-Lite

click to vote

DAM
2007

83views more DAM 2007»

The proof theoretic strength of the Steinitz exchange theorem

14 years 11 months ago

Download www.cas.mcmaster.ca

We show that the logical theory QLA proves the Cayley–Hamilton theorem from the Steinitz exchange theorem together with a strengthening of the linear independence principle. Sin...

Michael Soltys

claim paper

Read More »

click to vote

CONCUR
1998
Springer

114views Distributed And Parallel Com...» more CONCUR 1998»

Automata and Coinduction (An Exercise in Coalgebra)

15 years 4 months ago

Download www.informatik.uni-bremen.de

The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...

Jan J. M. M. Rutten

claim paper

Read More »

click to vote

TYPES
1999
Springer

116views Formal Methods» more TYPES 1999»

Information Retrieval in a Coq Proof Library Using Type Isomorphisms

15 years 4 months ago

Download cedric.cnam.fr

We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...

David Delahaye

claim paper

Read More »

104

click to vote

LICS
1998
IEEE

103views Automated Reasoning» more LICS 1998»

On Proofs about Threshold Circuits and Counting Hierarchies

15 years 4 months ago

Download www.cs.sjsu.edu

Hierarchies (Extended Abstract) Jan Johannsen Chris Pollett Department of Mathematics Department of Computer Science University of California, San Diego Boston University La Jolla,...

Jan Johannsen, Chris Pollett

claim paper

Read More »

click to vote

JCT
2000

75views more JCT 2000»

A Combinatorial Proof of a Recursion for the q-Kostka Polynomials

14 years 11 months ago