Reasoning About Graded While Programs

Bibliografické údaje

Autoři

• Mgr. Igor Sedlár, Ph.D.

Rok vydání

2021

Typ publikace

Abstrakt

Periodikum

Kurt Gödel Day 2021 & Czech Gathering of Logicians 2021. Abstracts

Projekty

• Neklasické logické modely informační dynamiky

Bibliografická citace

SEDLÁR, Igor. Reasoning About Graded While Programs. In: Kurt Gödel Day 2021 & Czech Gathering of Logicians 2021. Abstracts. Brno, 2021, S. 35-35.

ID

546989