Stronger higher-order automation: A report on the ongoing MatryoShka project

Jasmin Blanchette, Pascal Fontaine, Stephan Schulz, Sophie Tourret, Uwe Waldmann

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationEPTCS 311: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements - Natal, Brazil, August 26, 2019
EditorsMartin Suda, Sarah Winkler
PublisherEPTCS
Pages11-18
Number of pages8
DOIs
Publication statusPublished - 31 Dec 2019
Event2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE 2019 - Natal, Brazil
Duration: 26 Aug 2019 → …

Publication series

NameElectronic Proceedings in Theoretical Computer Science, EPTCS
PublisherOpen Publishing Association
Volume311
ISSN (Print)2075-2180

Conference

Conference2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE 2019
CountryBrazil
CityNatal
Period26/08/19 → …

Cite this

Blanchette, J., Fontaine, P., Schulz, S., Tourret, S., & Waldmann, U. (2019). Stronger higher-order automation: A report on the ongoing MatryoShka project. In M. Suda, & S. Winkler (Eds.), EPTCS 311: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements - Natal, Brazil, August 26, 2019 (pp. 11-18). (Electronic Proceedings in Theoretical Computer Science, EPTCS; Vol. 311). EPTCS. https://doi.org/10.4204/eptcs.311.2