Zobrazeno 1 - 10
of 191
pro vyhledávání: '"Maibaum, Thomas"'
Logic has proved essential for formally modeling software based systems. Such formal descriptions, frequently called specifications, have served not only as requirements documentation and formalisation, but also for providing the mathematical foundat
Externí odkaz:
http://arxiv.org/abs/2107.08253
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Haeberer and Veloso in the early 90's aiming at enriching relation algeb
Externí odkaz:
http://arxiv.org/abs/2009.02720
Publikováno v:
EPTCS 139, 2014, pp. 31-45
In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other) architecture description language in which actions and events are mad
Externí odkaz:
http://arxiv.org/abs/1401.0970
Publikováno v:
EPTCS 139, 2014, pp. 16-30
In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel
Externí odkaz:
http://arxiv.org/abs/1401.0969
Autor:
Maibaum, Thomas
Publikováno v:
ZFA - Zeitschrift fur Allgemeinmedizin; May 2024, Vol. 100 Issue: Supplement 1 p135-141, 7p
Autor:
Maibaum, Thomas
Publikováno v:
ZFA: Zeitschrift für Allgemeinmedizin; Sep2024, Vol. 100 Issue 5, p243-244, 2p
Publikováno v:
56. Kongress für Allgemeinmedizin und Familienmedizin; 20220915-20220917; Greifswald; DOCSYM-05-01 /20220915/
Namen der Moderierenden sowie der Vortragenden: Neben Caroline Benz, Sandra Blumenthal, Julia Truthman, Christina Raus, Thomas Maibaum und Martin Scherer gestalten die Teilnehmer:innen des DEGAM- und EBB-Workshops „Alt-Rehse und der gebrochene Eid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::519aa90adf5d80573fe0d8772f65c818
http://www.egms.de/en/meetings/degam2022/22degam265.shtml
http://www.egms.de/en/meetings/degam2022/22degam265.shtml
Autor:
Maibaum, Thomas
Publikováno v:
ZFA - Zeitschrift fur Allgemeinmedizin; October 2024, Vol. 100 Issue: 6 p293-294, 2p
Autor:
Maibaum, Thomas
Publikováno v:
ZFA - Zeitschrift fur Allgemeinmedizin; September 2024, Vol. 100 Issue: 5 p243-244, 2p
Autor:
Castro, Pablo F., Maibaum, Thomas S.E.
Publikováno v:
In Theoretical Computer Science 12 October 2012 455:98-122