Equivalences for Fair Kripke Structures.

Adnan Aziz Vigyan Singhal Felice Balarin Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

Published in: ICALP (1994)

Keyphrases

desirable properties
modal logic
databases
image segmentation
database systems
natural language
structural features