- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8730
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Bisimulation for Conditional Modalities ; day:11 ; month:5 ; year:2017 ; pages:1-33
Studia logica ; (11.5.2017), 1-33
- Klassifikation
-
Informatik
- Urheber
-
Baltag, A.
- Beteiligte Personen und Organisationen
-
Cinà, G.
SpringerLink (Online service)
- DOI
-
10.1007/s11225-017-9723-2
- URN
-
urn:nbn:de:1111-201705214573
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 10:50 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Baltag, A.
- Cinà, G.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Alethic Modalities, Temporal Modalities, and Representation
Sequent Systems for Negative Modalities
Modalities for Detection of LV Dysfunction
Elicitation of Modalities for Controlling ASR
4th Workshop "Methods for Modalities" (M4M)
Nanotechnology Enables Novel Modalities for Neuromodulation
Advanced Imaging Modalities to Monitor for Cardiotoxicity
Treatment modalities for patients with gambling disorder
Conditional
Oskar Becker on modalities
Independence for Conditional Probability Systems
Wireless agents for brain recording and stimulation modalities
Alethic Modalities, Temporal Modalities, and Representation
Sequent Systems for Negative Modalities
Modalities for Detection of LV Dysfunction
Elicitation of Modalities for Controlling ASR
4th Workshop "Methods for Modalities" (M4M)
Nanotechnology Enables Novel Modalities for Neuromodulation
Advanced Imaging Modalities to Monitor for Cardiotoxicity
Treatment modalities for patients with gambling disorder
Conditional
Oskar Becker on modalities
Independence for Conditional Probability Systems
Wireless agents for brain recording and stimulation modalities
Alethic Modalities, Temporal Modalities, and Representation
Sequent Systems for Negative Modalities
Modalities for Detection of LV Dysfunction
Elicitation of Modalities for Controlling ASR
4th Workshop "Methods for Modalities" (M4M)
Nanotechnology Enables Novel Modalities for Neuromodulation
Advanced Imaging Modalities to Monitor for Cardiotoxicity
Treatment modalities for patients with gambling disorder
Conditional
Oskar Becker on modalities
Independence for Conditional Probability Systems