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

Sasa Buvac Home Page Coauthor index pubzone.org

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

DBLP keys2003
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSasa Buvac: A Deduction Theorem for Normal Modal Propositional Logic. CONTEXT 2003: 107-115
1998
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSasa Buvac, Megumi Kameyama: Introduction: Toward a Unified Theory of Context? Journal of Logic, Language and Information 7(1): 1 (1998)
1996
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSasa Buvac: Quantificational Logic of Context. AAAI/IAAI, Vol. 1 1996: 600-606
1995
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSasa Buvac, Richard Fikes: A Declarative Formalization of Knowledge Translation. CIKM 1995: 340-347
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSasa Buvac, Vanja Buvac, Ian A. Mason: Metamathematics of Contexts. Fundam. Inform. 23(2/3/4): 263-301 (1995)
1994
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSasa Buvac, Vanja Buvac, Ian A. Mason: The Semantics of Propositional Contexts. ISMIS 1994: 468-477
1993
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSasa 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

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page