by Dreier, Jannik, Ene, Cristian, Lafourcade, Pascal, Lakhnech, Yassine
Published in Theoretical computer science (25.01.2016)

by 秋葉, 澄孝, 佐藤, 泰介
Published in 人工知能学会論文誌 (2004)

by Akiba, Sumitaka, Sato, Taisuke
Published in Transactions of the Japanese Society for Artificial Intelligence (2004)

by Choffrut, Ch, Ésik, Z.
Published in Theoretical computer science (15.08.2018)

by Porst, Hans-E.
Published in Applied categorical structures (01.12.1993)

by Schewe, Klaus-Dieter, Thalheim, Bernhard
Published in Advances in Web-Age Information Management (2005)

by Ésik, Z
Published in Mathematical structures in computer science (01.06.2019)

by Sottile, Cristian F, Díaz-Caro, Alejandro, Martínez López, Pablo E
Published in arXiv.org (19.05.2021)

by Galatos, Nikolaos, Greati, Vitor, Ramanayake, Revantha, John, Gavin St
Year of Publication 30.04.2025

by Dougherty, Daniel J., Liquori, Luigi
Published in Logic for Programming, Artificial Intelligence, and Reasoning (2011)

by Ésik, Zoltán
Published in Mathematical Foundations of Computer Science 2015 (2015)

by Chevalier, Yannick, Lugiez, Denis, Rusinowitch, Michaël
Published in Frontiers of Combining Systems (2007)

by Akiba, Sumitaka, Sato, Taisuke
Published in Transactions of the Japanese Society for Artificial Intelligence (01.09.2004)

by Berline, Chantal
Published in Theoretical computer science (17.10.2000)

by Obtulowicz, Adam
Published in Journal of applied non-classical logics (01.01.2000)

by Stump, Aaron, Löchner, Bernd
Published in Information processing letters (15.06.2006)

by DI COSMO, ROBERTO
Published in Mathematical structures in computer science (01.10.2005)

by Alpuente, María, Escobar, Santiago, Meseguer, José, Sapiña, Julia
Published in Annals of mathematics and artificial intelligence (01.05.2022)

by Shevchenko, Yu. N., Babeshko, M. E.
Published in International applied mechanics (01.08.2001)

by Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobociński, Paweł, Zanasi, Fabio
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)