Deciding logics of linear Kripke frames with scattered end pieces
Date first appeared online 22/10/2016
DOI 10.1007/s00500-016-2400-y
Authors Beckmann A.
Journal Name Soft Computing
Volume 21

Documents