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.

Competitive Proving for Fun

Maximilian Paul Louis Haslbeck, Simon Wimmer. Competitive Proving for Fun. In Christoph Benzmüller, Xavier Parent, Alexander Steen, editors, Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Volume 10 of Kalpa Publications in Computing, pages 9-14, EasyChair, 2018. [doi]

Authors

Maximilian Paul Louis Haslbeck

This author has not been identified. Look up 'Maximilian Paul Louis Haslbeck' in Google

Simon Wimmer

This author has not been identified. Look up 'Simon Wimmer' in Google
runs on