Detail

Publication date: 01/01/2010

An applicative theory for PH

Authors

Reinhard Kahle, Steffen van Bakel, Isabel Oitavem , Isabel Oitavem, Stefano Berardi, Ulrich Berger,

Publisher Federated MFCS & CSL Conference, Brno
Publisher Federated MFCS & CSL Conference, Brno