Skip to search boxSkip to navigationSkip to main content

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

  • Jan Schwinghammer
    ,
  • Lars Birkedal
    ,
  • Kristian Støvring
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 305-319

Publication milestones

  • Published - 2011

Publication status

Published - 2011

Volume

LNCS 6604

Publisher

Springer, United States, Germany

Publication IDs

  • Scopus: 79953216402

Host publication title

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

Publication metrics

PlumX

Captures
5
Citations
6