Metric interpretations of infinite trees and semantics of non deterministic recursive programs-Reference-Cited by-同舟云学术

Metric interpretations of infinite trees and semantics of non deterministic recursive programs

Author:

Arnold A.,Nivat M.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference17 articles.

2. A. Arnold and M. Nivat, Algebraic semantics of non deterministic recursive program schemes, Math. Systems Theory, to appear.

3. Interpretations métriques de schémas de programme;Arnold;Proc. 1er Colloque AFCET-SMF de Mathématiques appliquées,1978

4. The metric space of infinite trees. Algebraic and topological properties;Arnold;Rapport IRIA-Laboria No. 323,1978

5. Algebraic families of interpretations;Courcelle;Proc. 17th Symposium on Foundations of Computer Science,1976

Cited by 61 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Elements of Quantitative Rewriting;Proceedings of the ACM on Programming Languages;2023-01-09

2. On Generalized Metric Spaces for the Simply Typed Lambda-Calculus;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29

4. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020

5. Quantitative Logics for Equivalence of Effectful Programs;Electronic Notes in Theoretical Computer Science;2019-11