On sets of solutions to combinator equations
type: Item
instance of: scholarly article
title: On sets of solutions to combinator equations
zbMATH Open document ID: 0691.03005
DOI: 10.1016/0304-3975(89)90148-5
published in: Theoretical Computer Science
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 4130343
zbMATH Keywords: r.e. set of combinators
zbMATH Keywords: \(\beta\)-conversion
zbMATH Keywords: pattern matching
author: Richard Statman
MaRDI profile type: Publication
full work available at URL: 0304-3975(89)90148-5
OpenAlex ID: W2003021503
cites work: Q3342534
cites work: Q5565113
cites work: Q4068081
cites work: Q3714051
description: scientific article; zbMATH DE number 4130343