View in EDS PDF Full Text

Tree dimension in verification of constrained Horn clauses.

Saved in:
Bibliographic Details
Title: Tree dimension in verification of constrained Horn clauses.
Authors: KAFLE, BISHOKSAN1 bishoksank@unimelb.edu.au, GALLAGHER, JOHN P.2 jpg@ruc.dk, GANTY, PIERRE3 pierre.ganty@imdea.org
Source: Theory & Practice of Logic Programming. Mar2018, Vol. 18 Issue 2, p224-251. 28p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068418000030