RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

On the restricted equivalence for subclasses of propositional logic

A. Flögel, H. Kleine Büning and T. Lettmann

RAIRO-Theor. Inf. Appl., 27 4 (1993) 327-340

Published online: 01 February 2017

DOI: 10.1051/ita/1993270403271

A. Flögel

H. Kleine Büning

T. Lettmann

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)