Metric interpretations of infinite trees and semantics of non deterministic recursive programs
type: Item
instance of: scholarly article
title: Metric interpretations of infinite trees and semantics of non deterministic recursive programs
zbMATH Open document ID: 0427.68022
DOI: 10.1016/0304-3975(80)90045-6
author: André Arnold
author: M. Nivat
published in: Theoretical Computer Science
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3666177
zbMATH Keywords: semantics of non deterministic recursive programs
MaRDI profile type: Publication
full work available at URL: 0304-3975(80)90045-6
OpenAlex ID: W2023309117
cites work: Q4134908
cites work: Q3932751
cites work: Q4164787
cites work: Q5520521
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q5541833
cites work: Q4116078
cites work: Q5624635
cites work: A Powerdomain Construction
cites work: Q5636307
cites work: Power domains
description: scientific article; zbMATH DE number 3666177