Least fixed points revisited
type: Item
instance of: scholarly article
title: Least fixed points revisited
zbMATH Open document ID: 0348.68013
DOI: 10.1016/0304-3975(76)90031-1
published in: Theoretical Computer Science
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3543610
Wikidata QID: Q56092889
author: J. W. de Bakker
MaRDI profile type: Publication
full work available at URL: 0304-3975(76)90031-1
OpenAlex ID: W2176037827
cites work: Q5181349
cites work: Q4063091
cites work: Q5649409
cites work: On the completeness of the inductive assertion method
cites work: Q5686017
cites work: Q5812175
cites work: The Mechanical Evaluation of Expressions
cites work: Inductive methods for proving properties of programs
cites work: Fixpoint approach to the theory of computation
cites work: Q5601829
cites work: Another recursion induction principle
cites work: Q4164787
cites work: Q5624635
cites work: Q4057558
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Q5685626
description: scientific article; zbMATH DE number 3543610