Sciweavers

10271 search results - page 322 / 2055
» Computer Science
Sort
View
CAGD
2011
14 years 11 months ago
Unknots with highly knotted control polygons
Justin Bisceglio, Thomas J. Peters, John A. Roulie...
TCS
2011
14 years 11 months ago
Musings around the geometry of interaction, and coherence
We introduce the Danos-Régnier category
Jean Goubault-Larrecq
121
Voted
TCS
2010
14 years 10 months ago
A compact fixpoint semantics for term rewriting systems
María Alpuente, Marco Comini, Santiago Esco...