Katarina Britz

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

2008
7 Katarina Britz, Johannes Heidema, Thomas Meyer: Semantic Preferential Subsumption. KR 2008: 476-484
2003
6EEKatarina Britz, Johannes Heidema: Semiring-Valued Satisfiability. Australian Conference on Artificial Intelligence 2003: 402-413
2002
5 Katarina Britz: Implication in three-valued logics of partial information. South African Computer Journal 28: 39-43 (2002)
1999
4 Katarina Britz: A Power Algebra for Theory Change. Journal of Logic, Language and Information 8(4): 429-443 (1999)
1995
3 Katarina Britz, Chris Brink: Computing Verisimilitude. Notre Dame Journal of Formal Logic 36(1): 30-43 (1995)
1994
2 Chris Brink, Katarina Britz, Renate A. Schmidt: Peirce Algebras. Formal Asp. Comput. 6(3): 339-358 (1994)
1993
1 Chris Brink, Katarina Britz: Peirce Algebras. AMAST 1993: 163-166

Coauthor Index

1Chris Brink [1] [2] [3]
2Johannes Heidema [6] [7]
3Thomas Meyer [7]
4Renate A. Schmidt [2]

Colors in the list of coauthors

Copyright © Sat Nov 22 19:37:31 2008 by Michael Ley (ley@uni-trier.de)