Search Sciweavers | Sciweavers

12 search results - page 1 / 3

» iandc 2000

click to vote

IANDC
2000

56views more IANDC 2000»

What is a "Good" Encoding of Guarded Choice?

13 years 4 months ago

Download www.brics.dk

Uwe Nestmann

claim paper

Read More »

click to vote

IANDC
2000

70views more IANDC 2000»

Structural Cut Elimination: I. Intuitionistic and Classical Logic

13 years 4 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

click to vote

IANDC
2000

51views more IANDC 2000»

Completeness of Kozen's Axiomatisation of the Propositional µ-Calculus

13 years 4 months ago

Download reference.kfupm.edu.sa

Igor Walukiewicz

claim paper

Read More »

click to vote

IANDC
2000

50views more IANDC 2000»

An Algebraic Framework for Urgency

13 years 4 months ago

Download www-verimag.imag.fr

Sébastien Bornot, Joseph Sifakis

claim paper

Read More »

click to vote

IANDC
2000

53views more IANDC 2000»

On the Undecidability of Second-Order Unification

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers