scientific article

zbMath0298.68019MaRDI QIDQ4053088

Maddalena Zacchi, Mariangiola Dezani-Ciancaglini

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (2)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Correctness of parallel programs: The Church-Rosser approach

This page was built for publication: