Sciweavers

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