Search the dblp DataBase

Publications of Author

1. Adam Grabowski, Markus Moschner
   Managing Heterogeneous Theories within a Mathematical Knowledge Repository. [Citation Graph (0, 0)][DBLP]
   MKM, 2004, pp:116-129 [Conf]
   
2. Adam Grabowski, Christoph Schwarzweller
   Rough Concept Analysis - Theory Development in the Mizar System. [Citation Graph (0, 0)][DBLP]
   MKM, 2004, pp:130-144 [Conf]
   
3. Adam Grabowski, Christoph Schwarzweller
   Translating Mathematical Vernacular into Knowledge Repositories. [Citation Graph (0, 0)][DBLP]
   MKM, 2005, pp:49-64 [Conf]
   
4. Adam Grabowski
   Solving Two Problems in General Topology Via Types. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:138-153 [Conf]
   
5. Adam Grabowski, Christoph Schwarzweller
   Revisions as an Essential Tool to Maintain Mathematical Repositories. [Citation Graph (0, 0)][DBLP]
   Calculemus/MKM, 2007, pp:235-249 [Conf]
   
6. Adam Grabowski, Magdalena Jastrzebska
   Rough Set Theory from a Math-Assistant Perspective. [Citation Graph (0, 0)][DBLP]
   RSEISP, 2007, pp:152-161 [Conf]
   
7. Adam Grabowski
   Lattice of Substitutions. [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 1999, v:33, n:, pp:99-109 [Journal]
   
8. 
   On Duplication in Mathematical Repositories. [Citation Graph (, )][DBLP]
   
   
9. 
   A Note on a Formal Approach to Rough Operators. [Citation Graph (, )][DBLP]
   
   
10. 
    On Duplication in Mathematical Repositories [Citation Graph (, )][DBLP]