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 |
Be the first to leave a comment!
