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.

System Description: GAPT 2.0

Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota. System Description: GAPT 2.0. In Nicola Olivetti, Ashish Tiwari, editors, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. Volume 9706 of Lecture Notes in Computer Science, pages 293-301, Springer, 2016. [doi]

Authors

Gabriel Ebner

This author has not been identified. Look up 'Gabriel Ebner' in Google

Stefan Hetzl

This author has not been identified. Look up 'Stefan Hetzl' in Google

Giselle Reis

This author has not been identified. Look up 'Giselle Reis' in Google

Martin Riener

This author has not been identified. Look up 'Martin Riener' in Google

Simon Wolfsteiner

This author has not been identified. Look up 'Simon Wolfsteiner' in Google

Sebastian Zivota

This author has not been identified. Look up 'Sebastian Zivota' in Google
runs on