Aarhus University Seal / Aarhus Universitets segl

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

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationFoundations of Software Science and Computational Structures : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
EditorsMartin Hofmann
Number of pages15
Publication year2011
ISBN (print)978-3-642-19804-5
ISBN (Electronic)978-3-642-19805-2
Publication statusPublished - 2011
Externally publishedYes
SeriesLecture Notes in Computer Science

See relations at Aarhus University Citationformats

ID: 73743132