- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Robust computation tree logic ; day:20 ; month:3 ; year:2024 ; pages:1-23
Innovations in systems and software engineering ; (20.3.2024), 1-23
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11334-024-00552-7
- URN
-
urn:nbn:de:101:1-2405212113350.873481771974
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:58 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Nayak, Satya Prakash
- Neider, Daniel
- Roy, Rajarshi
- Zimmermann, Martin
- SpringerLink (Online service)
Other Objects (12)
A machine-checked constructive metatheory of computation tree logic
Logic, computation, hierarchies
Logic, construction, computation
Choiceless computation and logic
Robust consensus computation
Computation by tree transductions
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language and computation : revised selected papers
Logic, language, and computation : revised selected papers
Tree-Structured Problems and Parallel Computation
A machine-checked constructive metatheory of computation tree logic
Logic, computation, hierarchies
Logic, construction, computation
Choiceless computation and logic
Robust consensus computation
Computation by tree transductions
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language and computation : revised selected papers
Logic, language, and computation : revised selected papers
Tree-Structured Problems and Parallel Computation
A machine-checked constructive metatheory of computation tree logic
Logic, computation, hierarchies
Logic, construction, computation
Choiceless computation and logic
Robust consensus computation
Computation by tree transductions
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language and computation : revised selected papers
Logic, language, and computation : revised selected papers