作 者:Besik Dundua ;Temur Kutsia ;Mircea Marin
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;15:32-43.doi:10.4204/EPTCS.15.3
出 版 社:Open Publishing Association
文 章 ID:83119808
作 者:Besik Dundua ;Temur Kutsia ;Mircea Marin 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:30:1-30:19.doi:10.4230/LIPIcs.FSCD.2020.30
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823207
作 者:Besik Dundua ;Temur Kutsia ;Klaus Reisenberger-Hagmayer
出 处:OASIcs : OpenAccess Series in Informatics. 2016 ;52:1-5.doi:10.4230/OASIcs.ICLP.2016.10
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848966
作 者:Carlos Camino ;Volker Diekert ;Besik Dundua 等
出 处:Logical Methods in Computer Science. 2022 ;18(1):1-38.doi:10.46298/lmcs-18(1:25)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1038046928