RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Deciding inclusion of set constants over infinite non-strict data structures

Manfred Schmidt-Schauss, David Sabel and Marko Schütz

RAIRO-Theor. Inf. Appl., 41 2 (2007) 225-241

Published online: 18 July 2007

DOI: 10.1051/ita:2007010

Manfred Schmidt-Schauss

David Sabel

Marko Schütz

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)