17 search results - page 1 / 4 » flops 2004 |
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents a complete (infinite) axiomatization for an algebraic construction of graphs, in which a finite fragment denotes the class of graphs with bounded tree width.
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...