PDS -- A Three-Dimensional Data Structure for Proof Plans (2000)

Cached

Download Links

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