Solving constrained Horn clauses using dependence-disjoint expansions (Q3384902)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Solving constrained Horn clauses using dependence-disjoint expansions |
scientific article; zbMATH DE number 7447757
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Solving constrained Horn clauses using dependence-disjoint expansions |
scientific article; zbMATH DE number 7447757 |
Statements
17 December 2021
0 references
0.782562255859375
0 references
0.7808566689491272
0 references
0.755134105682373
0 references
