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

Sasa Buvac Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2003
7EESasa Buvac: A Deduction Theorem for Normal Modal Propositional Logic. CONTEXT 2003: 107-115
1998
6 Sasa Buvac, Megumi Kameyama: Introduction: Toward a Unified Theory of Context? Journal of Logic, Language and Information 7(1): 1 (1998)
1996
5 Sasa Buvac: Quantificational Logic of Context. AAAI/IAAI, Vol. 1 1996: 600-606
1995
4EESasa Buvac, Richard Fikes: A Declarative Formalization of Knowledge Translation. CIKM 1995: 340-347
3 Sasa Buvac, Vanja Buvac, Ian A. Mason: Metamathematics of Contexts. Fundam. Inform. 23(2/3/4): 263-301 (1995)
1994
2EESasa Buvac, Vanja Buvac, Ian A. Mason: The Semantics of Propositional Contexts. ISMIS 1994: 468-477
1993
1 Sasa Buvac, Ian A. Mason: Propositional Logic of Context. AAAI 1993: 412-419

Coauthor Index

1Vanja Buvac [2] [3]
2Richard Fikes [4]
3Megumi Kameyama [6]
4Ian A. Mason [1] [2] [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)