Senescent Ground Tree Rewrite Systems (2013)

First Author: Hague M

Attributed to: Verification of Concurrent and Higher-Order Recursive Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.1311.4915

Publication URI: https://arxiv.org/abs/1311.4915

Type: Preprint