Aktuality

Nejbližší akce

Žádné položky k zobrazení.

Nejnovější publikace

Kleene Algebra With Tests for Weighted Programs

SEDLÁR, Igor. Kleene Algebra With Tests for Weighted Programs. In: <em>2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL). Proceedings</em>. Piscataway: IEEE, 2023, S. 111-116. ISBN 978-1-6654-6416-1. ISSN 2378-2226<br>Dostupné z: doi:10.1109/ISMVL57333.2023.00031.

Autoři: Igor Sedlár