You are not logged in |
Back to the list of the institutes
Publications
Conference: 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA)
Number of publications: 22013
- Anh Linh Nguyen , Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms, 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA), Hue, Viet Nam, Viet Nam, 27 May 2013 - 29 May 2013. See in PBN
- Anh Linh Nguyen , Andrzej Szałas , On the Horn Fragments of Serial Regular Grammar Logics with Converse, 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA), Hue, Viet Nam, Viet Nam, 27 May 2013 - 29 May 2013. See in PBN
