Sciweavers

11017 search results - page 112 / 2204
» Closure Systems and their Structure
Sort
View
CORR
2010
Springer
44views Education» more  CORR 2010»
13 years 5 months ago
Structural Analysis of Boolean Equation Systems
Jeroen Keiren, Michel A. Reniers, Tim A. C. Willem...
CORR
2010
Springer
63views Education» more  CORR 2010»
13 years 3 months ago
Subject reduction in a Curry-style polymorphic type system with a vectorial structure
Pablo Arrighi, Alejandro Díaz-Caro, Beno&ic...