STRIP: Structural Sharing for Efficient Proof-search
Year: 1999
Type: article
Authors: D. Larchey-wendling, D. Méry, D. Galmiche, Loria Umr, Université Henri Poincaré
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4307194441