Paths, tree homomorphisms and disequalities for -clauses.
Saved in:
| Title: | Paths, tree homomorphisms and disequalities for -clauses. |
|---|---|
| Authors: | REUß, ANDREAS1 a.reuss@in.tum.de, SEIDL, HELMUT1 |
| Source: | Mathematical Structures in Computer Science. Nov2018, Vol. 28 Issue 10, p1786-1846. 61p. |
| Database: | Mathematics Source |
| ISSN: | 09601295 |
|---|---|
| DOI: | 10.1017/S096012951700024X |
