RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

On Existentially First-Order Definable Languages and Their Relation to NP

Bernd Borchert, Dietrich Kuske and Frank Stephan

RAIRO-Theor. Inf. Appl., 33 3 (1999) 259-269

Published online: 15 August 2002

DOI: 10.1051/ita:1999116

Bernd Borchert

Dietrich Kuske

Frank Stephan

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)