John P. Gallagher (Roskilde University

Identifiers

No identifiers captured yet.

Papers (2)

1. Solving non-linear Horn clauses using a linear Horn clause solver cs.PL · 2016 · author #2
2. Decomposition by tree dimension in Horn clause verification cs.LO · 2015 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Pierre Ganty (IMDEA Software Institute 2 shared papers
• Spain) 2 shared papers
• Bishoksan Kafle (Roskilde University 1 shared papers
• Bishoksan Kafle (Roskilde University) 1 shared papers
• Denmark 1 shared papers
• Denmark) 1 shared papers
• IMDEA Software Institute 1 shared papers
• IMDEA Software Institute) 1 shared papers