Solving non-linear Horn clauses using a linear Horn clause solver Full Written Papers Refereed uri icon

Overview

Time

Date/time value

  • 2016

Identity

Digital Object Identifier (DOI)

  • 10.4204/EPTCS.219.4

Additional Document Info

Parent Title

  • Electronic Proceedings in Theoretical Computer Science, EPTCS

Volume

  • 219

Publisher

  • publisher