Technical Reports
1983
Formalizing Non-Monotonic Reasoning Systems
Data Types as Term Algebras
Numeration Models of λ-Calculus
On the Complexity of Achieving K-Consistency
A Linear Algorithm for Determining the Separation of Convex Polyhedra
(g,f) - Factors & Packings, When g<f: characterizations algorithms>
Marriage Before Conquest: A Variation on the Divide & Conquer Paradigm
A Prological Definition or HASL a Purely Functional Language with Unification Based Conditional Binding Expressions
R-Maple: A Concurrent Programming Language Based on Predicate Logic, Part I: Syntax & Computation
A Fast Data Compression Method
A Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values
Acceptable Numerations of Function Spaces