COVERING AND SEPARATION FOR LOGICAL FRAGMENTS WITH MODULAR PREDICATES.
Saved in:
| Title: | COVERING AND SEPARATION FOR LOGICAL FRAGMENTS WITH MODULAR PREDICATES. |
|---|---|
| Authors: | PLACE, THOMAS1,2, thomas.place@labri.fr, RAMANATHAN, VARUN1,3,4, varun.ramanathan@u-bordeaux.fr, WEIL, PASCAL1,4, pascal.weil@labri.fr |
| Source: | Logical Methods in Computer Science (LMCS); Apr2019, Vol. 15 Issue 2, p1-32, 32p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
