Search Sciweavers | Sciweavers

10304 search results - page 150 / 2061

» Computer science with the sciences: an emphasis in computati...

click to vote

STACS
1998
Springer

93views Theoretical Computer Science» more STACS 1998»

Partially Persistent Search Trees with Transcript Operations

15 years 5 months ago

Download www.dmtcs.org

Kim S. Larsen

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

15 years 5 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

104

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 5 months ago

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

click to vote

ACM
1993

98views Theoretical Computer Science» more ACM 1993»

An Interactive Debugging Tool for C Based on Dynamic Slicing and Dicing

15 years 5 months ago

Download www.ecs.fullerton.edu

Mansur H. Samadzadeh, Winai Wichaipanitch

claim paper

Read More »

131

click to vote

ECA
1994

192views Theoretical Computer Science» more ECA 1994»

Abstraction, ethics and software: why don't the rules work?

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers