A Fully Abstract Denotational Model for Observational Precongruence

Anna Ingolfsdottir, A. Schalk

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelProceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995 : Lecture Notes in Computer Science
RedaktørerBünung, Hans Kleine (ed.)
ForlagIEEE Computer Society Press
Publikationsdato1995
Udgave1092
Sider335-361
StatusUdgivet - 1995
BegivenhedA Fully Abstract Denotational Model for Observational Precongruence -
Varighed: 19 maj 2010 → …

Konference

KonferenceA Fully Abstract Denotational Model for Observational Precongruence
Periode19/05/2010 → …

Bibliografisk note

ISSN ; -

Citer dette

Ingolfsdottir, A., & Schalk, A. (1995). A Fully Abstract Denotational Model for Observational Precongruence. I Bünung, Hans Kleine (ed.) (red.), Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995: Lecture Notes in Computer Science (1092 udg., s. 335-361). IEEE Computer Society Press.
Ingolfsdottir, Anna ; Schalk, A. / A Fully Abstract Denotational Model for Observational Precongruence. Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995: Lecture Notes in Computer Science. red. / Bünung, Hans Kleine (ed.). 1092. udg. IEEE Computer Society Press, 1995. s. 335-361
@inproceedings{b184d040003c11dab4d5000ea68e967b,
title = "A Fully Abstract Denotational Model for Observational Precongruence",
author = "Anna Ingolfsdottir and A. Schalk",
note = "ISSN ; -",
year = "1995",
language = "English",
pages = "335--361",
editor = "{B{\"u}nung, Hans Kleine (ed.)}",
booktitle = "Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "1092",

}

Ingolfsdottir, A & Schalk, A 1995, A Fully Abstract Denotational Model for Observational Precongruence. i Bünung, Hans Kleine (ed.) (red.), Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995: Lecture Notes in Computer Science. 1092 udg, IEEE Computer Society Press, s. 335-361, A Fully Abstract Denotational Model for Observational Precongruence, 19/05/2010.

A Fully Abstract Denotational Model for Observational Precongruence. / Ingolfsdottir, Anna; Schalk, A.

Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995: Lecture Notes in Computer Science. red. / Bünung, Hans Kleine (ed.). 1092. udg. IEEE Computer Society Press, 1995. s. 335-361.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

TY - GEN

T1 - A Fully Abstract Denotational Model for Observational Precongruence

AU - Ingolfsdottir, Anna

AU - Schalk, A.

N1 - ISSN ; -

PY - 1995

Y1 - 1995

M3 - Article in proceeding

SP - 335

EP - 361

BT - Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995

A2 - Bünung, Hans Kleine (ed.), null

PB - IEEE Computer Society Press

ER -

Ingolfsdottir A, Schalk A. A Fully Abstract Denotational Model for Observational Precongruence. I Bünung, Hans Kleine (ed.), red., Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995: Lecture Notes in Computer Science. 1092 udg. IEEE Computer Society Press. 1995. s. 335-361