Sciweavers

1712 search results - page 6 / 343
» Abstract Constraint Data Types
Sort
View
CORR
2010
Springer
47views Education» more  CORR 2010»
15 years 2 months ago
Tuple-based abstract data types: full parallelism
José Martinez, Carmelo Malta
ACTA
2006
78views more  ACTA 2006»
15 years 2 months ago
Abstractions of data types
Ferucio Laurentiu Tiplea, Constantin Enea
93
Voted
JSAT
2007
95views more  JSAT 2007»
15 years 2 months ago
An Abstract Decision Procedure for a Theory of Inductive Data Types
Clark Barrett, Igor Shikanian, Cesare Tinelli