On equal μ-terms

Authors:

Publisher website

20 June 2011

journal article
Published by Elsevier in Theoretical Computer Science

Vol. 412 (28) , 3175-3202
DOI:10.1016/j.tcs.2011.04.011

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

A duality between proof systems for cyclic term graphs
Mathematical Structures in Computer Science, 2007