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.


[PDF] [PS] 




  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},