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

Darko Sarenac

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

2006
4EEJohan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac: Multimo dal Logics of Products of Topologies. Studia Logica 84(3): 369-392 (2006)
2005
3EEBenedikt Löwe, Darko Sarenac: Cardinal spaces and topological representations of bimodal logics. Logic Journal of the IGPL 13(3): 301-306 (2005)
2003
2EEGrigori Mints, Darko Sarenac: Completeness of indexed epsilon-calculus. Arch. Math. Log. 42(7): 617-625 (2003)
2000
1EETara Nicholson, Ray E. Jennings, Darko Sarenac: Revisiting completeness for the Kn modal logics: A new proof. Logic Journal of the IGPL 8(1): (2000)

Coauthor Index

1Johan van Benthem [4]
2Guram Bezhanishvili [4]
3Balder ten Cate [4]
4Ray E. Jennings [1]
5Benedikt Löwe [3]
6Grigori Mints [2]
7Tara Nicholson [1]

Colors in the list of coauthors

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