Feasibility of program runs in fuzzified Propositional Dynamic Logic

Bibliografické údaje

Autoři

• Libor Běhounek

Rok vydání

2012

Typ publikace

Abstrakt

Periodikum

Logic, Algebra and Truth Degrees 2012. Book of Abstracts

Projekty

• Fuzzy matematika s logickými základy
• Matematická fuzzy logika v informatice
• Dynamické formální systémy

Bibliografická citace

BĚHOUNEK, Libor. Feasibility of program runs in fuzzified Propositional Dynamic Logic. In: TERUI, K., PREINING, N., eds. Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012, S. 32-34.

ID

381412