scientific article; zbMATH DE number 978247

MaRDI QIDQ4332423zbMATH OpenFDO

Authors B. A. Trakhtenbrot

Publication date 3 June 1997

zbMATH Keywords

completenesscompositional proofs for netscompositionalitymodularity

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 1051241
• On nets, algebras and modularity
• scientific article; zbMATH DE number 3903940
• On the completeness of modular proof systems
• scientific article; zbMATH DE number 1670774

Cited in

(4)

• Modularity of proof-nets. Generating the type of a module.
• scientific article; zbMATH DE number 1051241 (Why is no real title available?)
• On nets, algebras and modularity
• On the completeness of modular proof systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332423)