Edward Hermann Haeusler
4 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Completeness of an action logic for timed transition Systems Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 4 / s. 151 - 159ROK: 2000CZYSTY TEKSTBIBTEX
-
NUL: Natural Deduction for Ultrafilter Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 4 / s. 191 - 199ROK: 2003CZYSTY TEKSTBIBTEX
-
An infinitary extension of MALL- Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 4 / s. 225 - 233ROK: 1999CZYSTY TEKSTBIBTEX
-
A Natural Deduction System for CTL Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 4 / s. 231 - 240ROK: 2002CZYSTY TEKSTBIBTEX
