External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Higher-Order Model Checking in Direct Style

Taku Terao, Takeshi Tsukada, Naoki Kobayashi 0001. Higher-Order Model Checking in Direct Style. In Atsushi Igarashi, editor, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Volume 10017 of Lecture Notes in Computer Science, pages 295-313, 2016. [doi]

Authors

Taku Terao

This author has not been identified. Look up 'Taku Terao' in Google

Takeshi Tsukada

This author has not been identified. Look up 'Takeshi Tsukada' in Google

Naoki Kobayashi 0001

This author has not been identified. Look up 'Naoki Kobayashi 0001' in Google
runs on