ŠMARDA, Bohumil. Inversions on complete lattices and Girard quantales. Acta Math. et Informatica Univ. Ostraviensis. Ostrava: Univerzita Ostrava, 1997, roč. 5, č. 1, s. 53-59. ISSN 1211-4774.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Inversions on complete lattices and Girard quantales
Autoři ŠMARDA, Bohumil.
Vydání Acta Math. et Informatica Univ. Ostraviensis, Ostrava, Univerzita Ostrava, 1997, 1211-4774.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10101 Pure mathematics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Organizační jednotka Přírodovědecká fakulta
Klíčová slova anglicky Girard quantales;polarity;linear logic
Štítky Girard quantales, linear logic, polarity
Změnil Změnil: doc. RNDr. Bohumil Šmarda, CSc., učo 1264. Změněno: 29. 2. 2000 09:23.
VytisknoutZobrazeno: 24. 5. 2024 23:53