| 2008 |
|---|
| 20 | EE | Ivo Düntsch,
Wendy MacCaull,
Dimiter Vakarelov,
Michael Winter:
Distributive contact lattices: Topological representations.
J. Log. Algebr. Program. 76(1): 18-34 (2008) |
| 2007 |
|---|
| 19 | EE | Fahim T. Imam,
Wendy MacCaull,
Margaret Ann Kennedy:
Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues.
CBMS 2007: 530-535 |
| 2006 |
|---|
| 18 | | Wendy MacCaull,
Michael Winter,
Ivo Düntsch:
Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Springer 2006 |
| 17 | EE | Ivo Düntsch,
Wendy MacCaull,
Dimiter Vakarelov,
Michael Winter:
Topological Representation of Contact Lattices.
RelMiCS 2006: 135-147 |
| 16 | EE | Wendy MacCaull,
Ewa Orlowska:
A Logic of Type Relations and its Applications to Relational Databases.
J. Log. Comput. 16(6): 789-815 (2006) |
| 2005 |
|---|
| 15 | EE | Wendy MacCaull,
Dimiter Vakarelov:
Lattice-Based Paraconsistent Logic.
RelMiCS 2005: 173-187 |
| 2003 |
|---|
| 14 | EE | Marsha Chechik,
Wendy MacCaull:
CTL Model-Checking over Logics with Non-Classical Negations.
ISMVL 2003: 293- |
| 13 | EE | Wendy MacCaull,
Ewa Orlowska:
A Calculus of Typed Relations.
RelMiCS 2003: 191-201 |
| 2002 |
|---|
| 12 | | Wendy MacCaull,
Ewa Orlowska:
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus.
Studia Logica 71(3): 389-414 (2002) |
| 2001 |
|---|
| 11 | | Jules Desharnais,
Marc Frappier,
Ali Jaoua,
Wendy MacCaull:
Relational methods in computer science - Preface.
Inf. Sci. 139(3-4): 165-166 (2001) |
| 10 | | Gerard Allwein,
Wendy MacCaull:
A Kripke Semantics for the Logic of Gelfand Quantales.
Studia Logica 68(2): 173-228 (2001) |
| 2000 |
|---|
| 9 | EE | Ivo Düntsch,
Wendy MacCaull,
Ewa Orlowska:
Structures with Many-Valued Information and Their Relational Proof Theory.
ISMVL 2000: 293- |
| 8 | | Wendy MacCaull:
A Proof System for Dependencies for Information Relations.
Fundam. Inform. 42(1): 1-27 (2000) |
| 1998 |
|---|
| 7 | | Wendy MacCaull:
A relational approach to association rules and functional dependencies.
RelMiCS 1998: 159-164 |
| 6 | | Wendy MacCaull:
Relational Semantics and a Relational Proof System for Full Lambek Calculus.
J. Symb. Log. 63(2): 623-637 (1998) |
| 1997 |
|---|
| 5 | | Wendy MacCaull:
Semantics for Logics without Contraction Using Ternary Relations.
RelMiCS 1997: 157-165 |
| 4 | EE | Wendy MacCaull:
Relational Proof System for Linear and Other Substructural Logics.
Logic Journal of the IGPL 5(5): (1997) |
| 1995 |
|---|
| 3 | EE | Wendy MacCaull:
Finite Algebraic Models for Residuated Logic.
ISMVL 1995: 206- |
| 1989 |
|---|
| 2 | | Wendy MacCaull:
Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares.
Ann. Pure Appl. Logic 44(3): 243-257 (1989) |
| 1988 |
|---|
| 1 | | Wendy MacCaull:
On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes.
J. Symb. Log. 53(4): 1177-1187 (1988) |
