Other formats:
BibTeX
LaTeX
RIS
@article{198086, author = {Šmarda, Bohumil}, article_location = {Ostrava}, article_number = {1}, keywords = {Girard quantales;polarity;linear logic}, language = {eng}, issn = {1211-4774}, journal = {Acta Math. et Informatica Univ. Ostraviensis}, title = {Inversions on complete lattices and Girard quantales}, volume = {5}, year = {1997} }
TY - JOUR ID - 198086 AU - Šmarda, Bohumil PY - 1997 TI - Inversions on complete lattices and Girard quantales JF - Acta Math. et Informatica Univ. Ostraviensis VL - 5 IS - 1 SP - 53 EP - 53 PB - Univerzita Ostrava SN - 12114774 KW - Girard quantales;polarity;linear logic ER -
ŠMARDA, Bohumil. Inversions on complete lattices and Girard quantales. \textit{Acta Math. et Informatica Univ. Ostraviensis}. Ostrava: Univerzita Ostrava, 1997, vol.~5, No~1, p.~53-59. ISSN~1211-4774.
|