IANDC 2000 | Sciweavers

The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...

Arend Rensink

claim paper

Read More »

31

click to vote

IANDC
2000

70views more IANDC 2000»

Structural Cut Elimination: I. Intuitionistic and Classical Logic

13 years 11 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

26

click to vote

IANDC
2000

46views more IANDC 2000»

Decoding Choice Encodings

13 years 11 months ago

Download www.brics.dk

Uwe Nestmann, Benjamin C. Pierce

claim paper

Read More »

24

click to vote

IANDC
2000

56views more IANDC 2000»

What is a "Good" Encoding of Guarded Choice?

13 years 11 months ago

Download www.brics.dk

Uwe Nestmann

claim paper

Read More »

27

click to vote

IANDC
2000

53views more IANDC 2000»

On the Undecidability of Second-Order Unification

13 years 11 months ago

Download www.iiia.csic.es

Jordi Levy, Margus Veanes

claim paper

Read More »

30

click to vote

IANDC
2000

70views more IANDC 2000»

A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems

13 years 11 months ago

Download www.nuprl.org

Abstract. We present a uniform algorithm for transforming machine-found matrix proofs in classical, constructive, and modal logics into sequent proofs. It is based on unified repre...

Christoph Kreitz, Stephan Schmitt

claim paper

Read More »

24

click to vote

IANDC
2000

53views more IANDC 2000»

Apple Tasting

13 years 11 months ago

Download www.waynecountytourism.com

David P. Helmbold, Nick Littlestone, Philip M. Lon...

claim paper