Sciweavers

3 search results - page 1 / 1

» Aspects of predicative algebraic set theory, II: Realizabili...

125

Voted

TCS
2011

163views Theoretical Computer Science» more TCS 2011»

Aspects of predicative algebraic set theory, II: Realizability

15 years 10 days ago

Aspects of predicative algebraic set theory, II: Realizability

Download www.phil.cmu.edu

Benno van den Berg, Ieke Moerdijk

claim paper

Read More »

106

APAL
2008

94views more APAL 2008»

Aspects of predicative algebraic set theory I: Exact completion

15 years 5 months ago

Aspects of predicative algebraic set theory I: Exact completion

Download www.mathematik.tu-darmstadt.de

Benno van den Berg, Ieke Moerdijk

claim paper

Read More »

168

ATVA
2008
Springer

143views Hardware» more ATVA 2008»

Automating Algebraic Specifications of Non-freely Generated Data Types

15 years 7 months ago

Automating Algebraic Specifications of Non-freely Generated Data Types

Download www.informatik.uni-augsburg.de

Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »