Technical Reports

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