Nominal Kleene Coalgebra

Thumbnail Image

Files

Access status: Embargo until 2233-03-22 , Primary 143757.pdf (138.71 KB)

Date

2015

Authors

Kozen, D.
Mamouras, K. Konstantinos
Petrisan, D.L. Daniela Luana
Silva, A. Alexandra

Journal Title

Journal ISSN

Volume Title

Publisher

Berlin : Springer

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Lecture Notes in Computer Science

Citation

URI

https://hdl.handle.net/2066/143757

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By