dblp.uni-trier.dewww.uni-trier.de

Wendy MacCaull

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
20EEIvo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter: Distributive contact lattices: Topological representations. J. Log. Algebr. Program. 76(1): 18-34 (2008)
2007
19EEFahim 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
17EEIvo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter: Topological Representation of Contact Lattices. RelMiCS 2006: 135-147
16EEWendy MacCaull, Ewa Orlowska: A Logic of Type Relations and its Applications to Relational Databases. J. Log. Comput. 16(6): 789-815 (2006)
2005
15EEWendy MacCaull, Dimiter Vakarelov: Lattice-Based Paraconsistent Logic. RelMiCS 2005: 173-187
2003
14EEMarsha Chechik, Wendy MacCaull: CTL Model-Checking over Logics with Non-Classical Negations. ISMVL 2003: 293-
13EEWendy 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
9EEIvo 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
4EEWendy MacCaull: Relational Proof System for Linear and Other Substructural Logics. Logic Journal of the IGPL 5(5): (1997)
1995
3EEWendy 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)

Coauthor Index

1Gerard Allwein [10]
2Marsha Chechik [14]
3Jules Desharnais [11]
4Ivo Düntsch [9] [17] [18] [20]
5Marc Frappier [11]
6Fahim T. Imam [19]
7Ali Jaoua [11]
8Margaret Ann Kennedy [19]
9Ewa Orlowska [9] [12] [13] [16]
10Dimiter Vakarelov [15] [17] [20]
11Michael Winter [17] [18] [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)