On Composing Finite Forests with Modal Logics

PublikationenPublications

• Nach AutorBy Author
  • Bartosz BednarczykBartosz Bednarczyk
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

On Composing Finite Forests with Modal Logics

Bartosz BednarczykBartosz Bednarczyk,  Stéphane DemriStéphane Demri,  Raul FervariRaul Fervari,  Alessio MansuttiAlessio Mansutti

• ISSN: 1529-3785
• DOI Link

Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics
ACM Transactions on Computational Logic, December 2022

• Details
• Bibtex

• 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}
}