Regular path clauses and their application in solving loops

  1. Kafle, B.
  2. Gallagher, J.P.
  3. Hermenegildo, M.V.
  4. Klemen, M.
  5. López-García, P.
  6. Morales, J.F.
Konferenzberichte:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Datum der Publikation: 2021

Proceedings - 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2021

Ausgabe: 344

Seiten: 22-35

Art: Konferenz-Beitrag

DOI: 10.4204/EPTCS.344.3 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus