Search Sciweavers | Sciweavers

3 search results - page 1 / 1

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

Voted

TCS
2011

163views Theoretical Computer Science» more TCS 2011»

Aspects of predicative algebraic set theory, II: Realizability

14 years 4 months ago

Download www.phil.cmu.edu

Benno van den Berg, Ieke Moerdijk

claim paper

Read More »

Voted

APAL
2008

94views more APAL 2008»

Aspects of predicative algebraic set theory I: Exact completion

14 years 9 months ago

Download www.mathematik.tu-darmstadt.de

Benno van den Berg, Ieke Moerdijk

claim paper

Read More »

click to vote

ATVA
2008
Springer

143views Hardware» more ATVA 2008»

Automating Algebraic Specifications of Non-freely Generated Data Types

14 years 11 months ago

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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers