Flatness is not a Weakness
Flatness is not a Weakness. Hubert Comon and Véronique Cortier. In Proceedings of the 14th International Workshop on Computer Science Logic (CSL 2000), pp. 262–276, Lecture Notes in Computer Science 1862, Springer, Fischbachau, Germany, August 2000.
Download
Abstract
(unavailable)
BibTeX
@inproceedings{comon00flatness, address = {Fischbachau, Germany}, author = {Comon, Hubert and Cortier, V{\'e}ronique}, booktitle = {{P}roceedings of the 14th {I}nternational {W}orkshop on {C}omputer {S}cience {L}ogic ({CSL} 2000)}, editor = {Clote, Peter and Schwichtenberg, Helmut}, month = aug, pages = {262-276}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Flatness is not a Weakness}, volume = {1862}, year = {2000}, }