Characterization Results for d-Horn Formulas

Verónica Becher

1998, Proceedings of ITALLC'98. Information Theoretic Approaches to Logic …, 1998
Citas: 1

Origen de colaboraciones