Co-induction in relational semantics

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

Standard

Co-induction in relational semantics. / Milner, Robin; Tofte, Mads.

I: Theoretical Computer Science, Nr. Vol 87, 1991, s. 209-220.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

Harvard

Milner, R & Tofte, M 1991, 'Co-induction in relational semantics', Theoretical Computer Science, nr. Vol 87, s. 209-220.

APA

Milner, R., & Tofte, M. (1991). Co-induction in relational semantics. Theoretical Computer Science, (Vol 87), 209-220.

Vancouver

Milner R, Tofte M. Co-induction in relational semantics. Theoretical Computer Science. 1991;(Vol 87):209-220.

Author

Milner, Robin ; Tofte, Mads. / Co-induction in relational semantics. I: Theoretical Computer Science. 1991 ; Nr. Vol 87. s. 209-220.

Bibtex

@article{e6dacc4074d011dbbee902004c4f4f50,
title = "Co-induction in relational semantics",
author = "Robin Milner and Mads Tofte",
year = "1991",
language = "English",
pages = "209--220",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "Vol 87",

}

RIS

TY - JOUR

T1 - Co-induction in relational semantics

AU - Milner, Robin

AU - Tofte, Mads

PY - 1991

Y1 - 1991

M3 - Journal article

SP - 209

EP - 220

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - Vol 87

ER -

ID: 301760