An exercise in program synthesis: algorithms for computing the transitive closure of a relation
type: Item
instance of: scholarly article
title: An exercise in program synthesis: algorithms for computing the transitive closure of a relation
zbMATH Open document ID: 0479.68038
DOI: 10.1016/0167-6423(82)90017-X
author: Lothar Schmitz
published in: Science of Computer Programming
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68W99
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03E20
Mathematics Subject Classification ID: 03-04
zbMATH DE Number: 3754029
zbMATH Keywords: synthesis of transitive closure algorithms
zbMATH Keywords: recursion equations
zbMATH Keywords: unfolding
zbMATH Keywords: folding
MaRDI profile type: Publication
full work available at URL: 0167-6423(82)90017-x
OpenAlex ID: W2010459536
description: scientific article; zbMATH DE number 3754029