IMDEA Software Institute
Identifiers
No identifiers captured yet.
Papers (1)
- Decomposition by tree dimension in Horn clause verification cs.LO · 2015 · author #5
Mentions
No mention provenance yet.
Frequent Coauthors
- Bishoksan Kafle (Roskilde University 1 shared papers
- Denmark 1 shared papers
- Denmark) 1 shared papers
- John P. Gallagher (Roskilde University 1 shared papers
- Pierre Ganty (IMDEA Software Institute 1 shared papers
- Spain) 1 shared papers