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.

Concrete Semantics with Coq and CoqHammer

Lukasz Czajka 0001, Burak Ekici, Cezary Kaliszyk. Concrete Semantics with Coq and CoqHammer. In Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef, editors, Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. Volume 11006 of Lecture Notes in Computer Science, pages 53-59, Springer, 2018. [doi]

Authors

Lukasz Czajka 0001

This author has not been identified. Look up 'Lukasz Czajka 0001' in Google

Burak Ekici

This author has not been identified. Look up 'Burak Ekici' in Google

Cezary Kaliszyk

This author has not been identified. Look up 'Cezary Kaliszyk' in Google
runs on