COLOG-88 : proceedings - Martin-Lof P; International Conference on Computer Logic( 1988 : Tallinn ); International Conference on Computer Logic Tallinn, 1988 (Berlin Springer Verlag, 1990)
Keywords: Computer logic; Computer science