Search Sciweavers | Sciweavers

10271 search results - page 124 / 2055

» Computer Science

113

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 8 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

141

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

15 years 8 months ago

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

103

click to vote

WG
1998
Springer

69views Theoretical Computer Science» more WG 1998»

Rankings of Directed Graphs

15 years 8 months ago

Download www.zib.de

Jan Kratochvíl, Zsolt Tuza

claim paper

Read More »

102

click to vote

SCCC
1997
IEEE

77views Theoretical Computer Science» more SCCC 1997»

Hyperstories: A Model to Specify and Design Interactive Educational Stories

15 years 8 months ago

Download www.dcc.uchile.cl

Mauricio Lumbreras, Jaime Sánchez

claim paper

Read More »

click to vote

FOCS
1996
IEEE

79views Theoretical Computer Science» more FOCS 1996»

Faster Deterministic Sorting and Searching in Linear Space

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers