A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces

Jan Schwinghammer, Lars Birkedal, Kristian Støvring

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures
Vol/bind	LNCS 6604
Forlag	Springer
Publikationsdato	2011
Sider	305-319
Status	Udgivet - 2011

Citationsformater

@inproceedings{cc04ea2cbbb441b7986a7dccbad6a9f9,

title = "A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces",

author = "Jan Schwinghammer and Lars Birkedal and Kristian St{\o}vring",

year = "2011",

language = "English",

volume = "LNCS 6604",

pages = "305--319",

booktitle = "FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures",

publisher = "Springer",

address = "Germany",

}

A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. / Schwinghammer, Jan; Birkedal, Lars; Støvring, Kristian.
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures. Bind LNCS 6604 Springer, 2011. s. 305-319.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces

AU - Schwinghammer, Jan

AU - Birkedal, Lars

AU - Støvring, Kristian

PY - 2011

Y1 - 2011

M3 - Article in proceedings

VL - LNCS 6604

SP - 305

EP - 319

BT - FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures

PB - Springer

ER -