6045 search results - page 2 / 1209 » Computable Linearizations of Well-partial-orderings |
TCS
2011
13 years 5 days ago
2011
We introduce the Danos-Régnier category
TACAS
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
CIE
2007
Springer
13 years 11 months ago
2007
Springer
Geometrical Computation and the Linear Blum, Shub and Smale Model Geometrical Computation and the Linear Blum, Shub and Smale Model J´erˆome Durand-Lose Laboratoire d’Informati...
CDC
2009
IEEE
13 years 3 months ago
2009
IEEE
A computational method for stability analysis of discrete-time piecewise linear systems is presented. The method is based on combining the solutions to two separate problems: one i...
WOLLIC
2007
Springer
13 years 11 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...