PDS -- A Three-Dimensional Data Structure for Proof Plans (2000)
by
Lassaad Cheikhrouhou
,
Volker Sorge
| Venue: | PROC. OF ACIDCA'2000 |
| Citations: | 28 - 8 self |
Document Versions
| PDS -- A Three-Dimensional Data Structure for Proof Plans –Lassaad Cheikhrouhou, Volker Sorge — 2000 — PROC. OF ACIDCA'2000 |
