Authors: Nestmann, U Pierce, BC

Citation: U. Nestmann et Bc. Pierce, Decoding choice encodings, INF COMPUT, 163(1), 2000, pp. 1-59

Authors: Nestmann, U

Citation: U. Nestmann, What is a "good" encoding of guarded choice?, INF COMPUT, 156(1-2), 2000, pp. 287-319