Article3088: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Bartosz Bednarczyk (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk |FurtherAuthors=Stéphane Demri; Raul Fervari; Alessio Mansutti }} {{Art…“) |
Bartosz Bednarczyk (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 7: | Zeile 7: | ||
|Referiert=0 | |Referiert=0 | ||
|Title=On Composing Finite Forests with Modal Logics | |Title=On Composing Finite Forests with Modal Logics | ||
|To appear= | |To appear=0 | ||
|Year=2022 | |Year=2022 | ||
|Month=Dezember | |||
|Journal=ACM Transactions on Computational Logic | |Journal=ACM Transactions on Computational Logic | ||
|Publisher=Association for Computing Machinery | |||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|ISSN=1529-3785 | |||
|Link=https://doi.org/10.1145/3569954 | |||
|DOI Name=10.1145/3569954 | |||
|Forschungsgruppe=Computational Logic | |Forschungsgruppe=Computational Logic | ||
}} | }} | ||
Version vom 3. Januar 2023, 11:43 Uhr
On Composing Finite Forests with Modal Logics
Bartosz BednarczykBartosz Bednarczyk, Stéphane DemriStéphane Demri, Raul FervariRaul Fervari, Alessio MansuttiAlessio Mansutti
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics
ACM Transactions on Computational Logic, December 2022
On Composing Finite Forests with Modal Logics
ACM Transactions on Computational Logic, December 2022
- Weitere Informationen unter:Further Information: Link
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@article{BDFM2022,
author = {Bartosz Bednarczyk and St{\'{e}}phane Demri and Raul Fervari and
Alessio Mansutti},
title = {On Composing Finite Forests with Modal Logics},
journal = {ACM Transactions on Computational Logic},
publisher = {Association for Computing Machinery},
year = {2022},
month = {December},
doi = {10.1145/3569954}
}
