Vincent Degauquier
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Useful Four-Valued Extension of the Temporal Logic KtT4 Opublikowano w: Bulletin of the Section of Logic 2018 / Tom 47 / Numer 1 / s. 15 - 322018CZYSTY TEKST
Vincent Degauquier, A Useful Four-Valued Extension of the Temporal Logic KtT4, Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 1, s. 15 - 32
BIBTEX@Article{ authors = " Vincent Degauquier", title = "A Useful Four-Valued Extension of the Temporal Logic KtT4", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 1", pages = "15 - 32" }
