×

Found 4 Documents (Results 1–4)

Proofs as graphs. (English) Zbl 0910.68192

Corradini, Andrea (ed.) et al., Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA ’95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 2, 8 p. (1995).
MSC:  68T15 68R10
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Database

Year of Publication

Main Field

Software