Toggle navigation
reposiTUm
ÜBER REPOSITUM
HILFE
Anmelden
Aktuelles
Browsen nach
Publikationstypen
Organisationseinheiten
Forschende
Projekte
TU Wien Academic Press
Open-Access-Schriftenreihen
Hochschulschriften
Digitalisate
Erscheinungsjahr
Datensatz Zitierlink:
http://hdl.handle.net/20.500.12708/153663
-
Titel:
Framing faultiness Kripke style
en
Zitat:
van Ditmarsch, H., Fruzsa, K., & Kuznets, R. (2022, September 6).
Framing faultiness Kripke style
[Conference Presentation]. MOSAIC: Modalities in Substructural Logics: Theory, Methods and Applications, Kick Off Conference, Capaccio Paestum, Italy.
-
Publikationstyp:
Vortrag - Konferenz Präsentation
de
Sprache:
Englisch
-
Autor_innen:
van Ditmarsch, Hans
Fruzsa, Krisztina
Kuznets, Roman
-
Organisationseinheit:
E191-02 - Forschungsbereich Embedded Computing Systems
-
Datum (veröffentlicht):
6-Sep-2022
-
Veranstaltungsname:
MOSAIC: Modalities in Substructural Logics: Theory, Methods and Applications, Kick Off Conference
en
Veranstaltungszeitraum:
5-Sep-2022 - 10-Sep-2022
-
Veranstaltungsort:
Capaccio Paestum, Italien
-
Keywords:
distributed systems; epistemic logic; modal logic; byzantine agents
en
Projekttitel:
Reasoning about Knowledge in Byzantine Distributed Systems: P 33600-N (Fonds zur Förderung der wissenschaftlichen Forschung (FWF))
-
Forschungsschwerpunkte:
Computer Engineering and Software-Intensive Systems: 100%
-
Wissenschaftszweig:
1020 - Informatik: 100%
-
Enthalten in den Sammlungen:
Presentation
Kurzfassung / (Graphical) Abstract
Adobe PDF
(309.41 kB)
CC BY-NC 4.0
Zur Langanzeige
Seiten Aufrufe
118
aufgerufen am 23.11.2023
Download(s)
44
aufgerufen am 23.11.2023
Google Scholar
TM
Check