RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Intuitionistic three-valued logic and logic programming

J. Vauzeilles and A. Strauss

RAIRO-Theor. Inf. Appl., 25 6 (1991) 557-587

Published online: 01 February 2017

DOI: 10.1051/ita/1991250605571

J. Vauzeilles

A. Strauss

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)