Search Sciweavers | Sciweavers

12 search results - page 2 / 3

» iandc 2000

click to vote

IANDC
2000

46views more IANDC 2000»

On Terminating Lemma Speculations

13 years 5 months ago

Download www.inferenzsysteme.informatik.tu-darmstadt.de

Christoph Walther, Thomas Kolbe

claim paper

Read More »

click to vote

IANDC
2000

46views more IANDC 2000»

Decoding Choice Encodings

13 years 5 months ago

Download www.brics.dk

Uwe Nestmann, Benjamin C. Pierce

claim paper

Read More »

click to vote

IANDC
2000

44views more IANDC 2000»

Uniform Generation of NP-Witnesses Using an NP-Oracle

13 years 5 months ago

Download cseweb.ucsd.edu

Mihir Bellare, Oded Goldreich, Erez Petrank

claim paper

Read More »

click to vote

IANDC
2000

64views more IANDC 2000»

Bisimilarity in Term Graph Rewriting

13 years 5 months ago

Download www-users.cs.york.ac.uk

Zena M. Ariola, Jan Willem Klop, Detlef Plump

claim paper

Read More »

click to vote

IANDC
2000

53views more IANDC 2000»

Apple Tasting

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers