Piotr Rudnicki

Identifiers

• name variant Piotr Rudnicki 0.60 · backfill

Papers (3)

1. ATP and Presentation Service for Mizar Formalizations cs.DL · 2011 · author #2
2. Licensing the Mizar Mathematical Library cs.DL · 2011 · author #4
3. A Wiki for Mizar: Motivation, Considerations, and Initial Prototype cs.DL · 2010 · author #3

Mentions

• 1109.0616 #2 · backfill · confidence 0.70 Piotr Rudnicki
• 1107.3212 #4 · backfill · confidence 0.70 Piotr Rudnicki
• 1005.4552 #3 · backfill · confidence 0.70 Piotr Rudnicki

Frequent Coauthors

• Josef Urban 3 shared papers
• Jesse Alama 2 shared papers
• Adam Naumowicz 1 shared papers
• Geoff Sutcliffe 1 shared papers
• Herman Geuvers 1 shared papers
• Lionel Mamane 1 shared papers
• Michael Kohlhase 1 shared papers