Aszalós, LászlóBalbiani, Philippe2010-05-042010-05-042009Studia Universitatis Babes-Bolyai. Series Informatica. -54 : 1 (2009), p. 3-16. -Studia Univ. Babes-Bolyai. Ser. Inf. - 1224-869X1224-869Xhttp://hdl.handle.net/2437/95439CC BY-NC-ND 4.0Proving the decidability of the PDLtimesPDL product logicfolyóiratcikkopen access journalhttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM010605TermészettudományokMatematika- és számítástudományokBabes-Bolyai University, Cluj-Napoca2017-12-01