COVERING AND SEPARATION FOR LOGICAL FRAGMENTS WITH MODULAR PREDICATES.

Saved in:

Bibliographic Details
Title:	COVERING AND SEPARATION FOR LOGICAL FRAGMENTS WITH MODULAR PREDICATES.
Authors:	PLACE, THOMAS^1,2, thomas.place@labri.fr, RAMANATHAN, VARUN^1,3,4, varun.ramanathan@u-bordeaux.fr, WEIL, PASCAL^1,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

Description
ISSN:	18605974
DOI:	10.23638/LMCS-15(2:11)2019