Sciweavers

10447 search results - page 94 / 2090

» The Philosophy of Computer Science

79

SOFSEM
2009
Springer

73views Theoretical Computer Science» more SOFSEM 2009»

Safe Reasoning with Logic LTS

15 years 12 months ago

Safe Reasoning with Logic LTS

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

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

87

SOFSEM
2009
Springer

100views Theoretical Computer Science» more SOFSEM 2009»

Improved Algorithms for the 2-Vertex Disjoint Paths Problem

15 years 12 months ago

Improved Algorithms for the 2-Vertex Disjoint Paths Problem

Download www.sofsem.cz

Torsten Tholey

claim paper

Read More »

69

SOFSEM
2009
Springer

97views Theoretical Computer Science» more SOFSEM 2009»

Conjunctive Grammars with Restricted Disjunction

15 years 12 months ago

Conjunctive Grammars with Restricted Disjunction

Download tucs.fi

Alexander Okhotin, Christian Reitwießner

claim paper

Read More »

107

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

Adaptive Incentive-Compatible Sponsored Search Auction

15 years 12 months ago

Adaptive Incentive-Compatible Sponsored Search Auction

Download www.sofsem.cz

Rica Gonen, Elan Pavlov

claim paper

Read More »

77

SOFSEM
2009
Springer

92views Theoretical Computer Science» more SOFSEM 2009»

Unambiguous Erasing Morphisms in Free Monoids

15 years 12 months ago

Unambiguous Erasing Morphisms in Free Monoids

Download www.sofsem.cz

Johannes C. Schneider

claim paper

Read More »

« Prev « First page 94 / 2090 Last » Next »