Items where Author is "Kwast, Karen"

Group by: Item Type | No Grouping

Number of items: 4.

CT-1991-04: van Denneheuvel, Sieger and Kwast, Karen (1991) Weak Equivalence. [Report]

CT-1991-05: van Denneheuvel, Sieger and Kwast, Karen (1991) Weak Equivalence for Constraint Sets. [Report]

LP-1990-16: Huang, Zhisheng and Kwast, Karen (1990) Awareness, Negation and Logical Omniscience. [Report]

CT-1990-05: van Denneheuvel, Sieger and Kwast, Karen (1990) Efficient Normalization of Database and Constraint Expressions. [Report]

This list was generated on Sat Apr 20 00:30:17 2024 CEST.

ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility