Duplication of Directed Graphs and Exponential Blow Up of Proofs (1999)

by A. Carbone
Citations:11 - 3 self

Document Versions

Duplication of Directed Graphs and Exponential Blow Up of Proofs – A. Carbone — 1999
Duplication of Directed Graphs and Exponential Blow Up of Proofs –A. Carbone — 1998 — Annals of Pure and Applied Logic