Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Konferencja: 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA)
Liczba publikacji: 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 maja 2013 - 29 maja 2013. Zobacz w 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 maja 2013 - 29 maja 2013. Zobacz w PBN
