Sciweavers

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