Penrose diagrams and 2-dimensional rewriting

• 26 June 1992
• book chapter
• Published by Cambridge University Press (CUP)
• p. 191-201
• https://doi.org/10.1017/cbo9780511525902.011

Abstract

Keywords

• LOGIC