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.

Towards an Abstraction-Refinement Framework for Reasoning with Large Theories

Julio Cesar Lopez Hernandez, Konstantin Korovin. Towards an Abstraction-Refinement Framework for Reasoning with Large Theories. In Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, editors, IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Volume 1 of Kalpa Publications in Computing, pages 119-123, EasyChair, 2017. [doi]

Authors

Julio Cesar Lopez Hernandez

This author has not been identified. Look up 'Julio Cesar Lopez Hernandez' in Google

Konstantin Korovin

This author has not been identified. Look up 'Konstantin Korovin' in Google
runs on