Online and Feasible Presentability: From Trees to Modal Algebras › Research Explorer

Novosibirsk State University's Research Portal

Online and Feasible Presentability: From Trees to Modal Algebras

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

DOI

https://doi.org/10.4230/LIPIcs.ICALP.2025.142
Final published version

Nikolay Bazhenov
Dariusz Kalociński
Michał Wrocławski

Original language	English
Title of host publication	Leibniz International Proceedings in Informatics, LIPIcs
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages	20
ISBN (Print)	9783959773720
DOIs	https://doi.org/10.4230/LIPIcs.ICALP.2025.142
Publication status	Published - 30 Jun 2025
Event	52nd International Colloquium on Automata, Languages, and Programming - Орхус, Denmark Duration: 8 Jul 2025 → 11 Jul 2025 Conference number: 52

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	334

Conference

Conference	52nd International Colloquium on Automata, Languages, and Programming
Abbreviated title	ICALP 2025
Country/Territory	Denmark
City	Орхус
Period	08.07.2025 → 11.07.2025

Research areas

Algebraic structure, Boolean algebra, computable structure, fully primitive recursive structure, lattice, modal algebra, polynomial-time computable structure, punctual robustness, punctual structure, semilattice, tree

ID: 68403867