Sciweavers

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