Search Sciweavers | Sciweavers

2799 search results - page 52 / 560

» computing 1998

click to vote

RTA
1998
Springer

83views Theoretical Computer Science» more RTA 1998»

An On-line Problem Database

14 years 2 months ago

Download www.math.tau.ac.il

Nachum Dershowitz, Ralf Treinen

claim paper

Read More »

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

14 years 2 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

click to vote

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

14 years 2 months ago

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

click to vote

WG
1998
Springer

69views Theoretical Computer Science» more WG 1998»

Rankings of Directed Graphs

14 years 2 months ago

Download www.zib.de

Jan Kratochvíl, Zsolt Tuza

claim paper

Read More »

click to vote

CAD
1998
Springer

139views Theoretical Computer Science» more CAD 1998»

Data enhancement for sharing of ship design models

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers