Proving the decidability of the PDLtimesPDL product logic

A tétel rövid nézete
dc.contributor.authorAszalós, László
dc.contributor.authorBalbiani, Philippe
dc.date.accessioned2010-05-04T11:38:32Z
dc.date.available2010-05-04T11:38:32Z
dc.date.issued2009
dc.date.pasync2017-12-01T08:59:28Z
dc.date.updated2017-12-01T08:59:28Z
dc.identifier.citationStudia Universitatis Babes-Bolyai. Series Informatica. -54 : 1 (2009), p. 3-16. -Studia Univ. Babes-Bolyai. Ser. Inf. - 1224-869X
dc.identifier.issn1224-869X
dc.identifier.opachttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM010605hu
dc.identifier.urihttp://hdl.handle.net/2437/95439
dc.languageeng
dc.rightsCC BY-NC-ND 4.0
dc.rights.accessopen access journal
dc.rights.ownerBabes-Bolyai University, Cluj-Napoca
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.mabTermészettudományok
dc.subject.mabMatematika- és számítástudományok
dc.titleProving the decidability of the PDLtimesPDL product logic
dc.typefolyóiratcikk
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
file_up_01-Aszalos.pdf
Méret:
214.34 KB
Formátum:
Adobe Portable Document Format
Leírás:
kiadói változat
Letöltés
Gyűjtemények
Publikációs Adatbázis