Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-30T00:39:33.845Z Has data issue: false hasContentIssue false
  • English
  • Français

Regular Böhm trees

Published online by Cambridge University Press:  01 December 1998

GÉRARD HUET
GÉRARD HUET
Affiliation:
INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. Email: Gerard.Huet@inria.fr
Get access Rights & Permissions [Opens in a new window]

Abstract

We give a decision procedure for the extensional equality of total Böhm trees presented by regular systems of recursion equations.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 8 , Issue 6 , December 1998 , pp. 671 - 680
Copyright
© 1998 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)