Sciweavers

11017 search results - page 112 / 2204
» Closure Systems and their Structure
Sort
View
CORR
2010
Springer
44views Education» more  CORR 2010»
15 years 3 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»
15 years 25 days ago
Subject reduction in a Curry-style polymorphic type system with a vectorial structure
Pablo Arrighi, Alejandro Díaz-Caro, Beno&ic...