The following pages link to (Q3707378):
Displaying 16 items.
- An abstract decision procedure for satisfiability in the theory of recursive data types (Q2864522) (← links)
- (Q3197343) (← links)
- Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360) (← links)
- (Q3490963) (← links)
- (Q3687690) (← links)
- (Q3757375) (← links)
- (Q3801053) (← links)
- Deterministic and nondeterministic computation, and horn programs, on abstract data types (Q3992226) (← links)
- Circumscription in Data Logic for Data Type Specification (Q4286217) (← links)
- (Q4295355) (← links)
- (Q4725723) (← links)
- (Q4763985) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)
- A generic algebra for data collections based on constructive logic (Q5096406) (← links)
- Decision procedures for algebraic data types with abstractions (Q5255074) (← links)
- Preface (Q5898759) (← links)