On the Lattice of Program Metrics

On the Lattice of Program Metrics
复制标题

关于计划指标的格子

DOI:
--
复制
发表时间:
2023
期刊:
影响因子:
--
通讯作者:
Paolo Pistone
Paolo Pistone
中科院分区:
--
文献类型:
--
作者:
Ugo Dal Lago;Naohiko Hoshino;Paolo Pistone

文献摘要

参考文献

相似文献

DOI: 10.48550/arxiv.2204.13654
发表时间: 2022
期刊: International Conference on Formal Structures for Computation and Deduction
影响因子: --
作者:
Ugo Dal Lago;F. Honsell;Marina Lenisa;Paolo Pistone
通讯作者: Paolo Pistone
DOI: 10.1007/978-1-4471-3503-6_18
发表时间: 1993
影响因子: 0.6
作者:
I. Mackie;L. Román;S. Abramsky
通讯作者: S. Abramsky
关于 λ 项的度量推理:一般情况(长版)
DOI: --
发表时间: 2017
期刊: arXiv.org
影响因子: --
作者:
Raphaëlle Crubillé;Ugo Dal Lago
通讯作者: Ugo Dal Lago
DOI: 10.1145/2933575.2934518
发表时间: 2016
期刊: 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子: --
作者:
R. Mardare;P. Panangaden;G. Plotkin
通讯作者: G. Plotkin
DOI: --
发表时间: 1989
期刊:
影响因子: --
作者:
J. Girard
通讯作者: J. Girard