People
Events
Research
Home
LFCS reports by Author: U
Underwood, Judith
Typing Abstract Data Types
Judith Underwood
LFCS report ECS-LFCS-95-320
Tableau for Intuitionistic Predicate Logic as Metatheory
Judith Underwood
LFCS report ECS-LFCS-95-321
Previous
|
Index
|
Next