 | 2010 |
|---|
| 12 |       | Adam Grabowski,
Christoph Schwarzweller:
On Duplication in Mathematical Repositories.
AISC/MKM/Calculemus 2010: 300-314 |
| 11 | | Adam Grabowski,
Magdalena Jastrzebska:
A Note on a Formal Approach to Rough Operators.
RSCTC 2010: 307-316 |
| 10 | | Adam Grabowski,
Christoph Schwarzweller:
On Duplication in Mathematical Repositories
CoRR abs/1005.0950: (2010) |
| 2009 |
|---|
| 9 | | Adam Grabowski,
Magdalena Jastrzebska:
On the Lattice of Intervals and Rough Sets.
Formalized Mathematics 17(1-4): 237-244 (2009) |
| 2008 |
|---|
| 8 | | Elzbieta Madra,
Adam Grabowski:
Orthomodular Lattices.
Formalized Mathematics 16(1-4): 277-282 (2008) |
| 2007 |
|---|
| 7 | | Adam Grabowski,
Christoph Schwarzweller:
Revisions as an Essential Tool to Maintain Mathematical Repositories.
Calculemus/MKM 2007: 235-249 |
| 6 | | Adam Grabowski,
Magdalena Jastrzebska:
Rough Set Theory from a Math-Assistant Perspective.
RSEISP 2007: 152-161 |
| 2005 |
|---|
| 5 | | Adam Grabowski,
Christoph Schwarzweller:
Translating Mathematical Vernacular into Knowledge Repositories.
MKM 2005: 49-64 |
| 2004 |
|---|
| 4 | | Adam Grabowski,
Markus Moschner:
Managing Heterogeneous Theories within a Mathematical Knowledge Repository.
MKM 2004: 116-129 |
| 3 | | Adam Grabowski,
Christoph Schwarzweller:
Rough Concept Analysis - Theory Development in the Mizar System.
MKM 2004: 130-144 |
| 2 | | Adam Grabowski:
Solving Two Problems in General Topology Via Types.
TYPES 2004: 138-153 |
| 1999 |
|---|
| 1 | | Adam Grabowski:
Lattice of Substitutions.
Reports on Mathematical Logic 33: 99-109 (1999) |
Data released under the ODC-BY 1.0 license — See also our legal information page