Reasoning About Graded While Programs

Bibliographic details

Authors

Igor Sedlár

Publication year

2021

Publication type

Abstrakt

Periodical

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

Projects

• Non-classical logical models of information dynamics

Bibliographic citation

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