Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Ma, Minghui"" wg kryterium: Autor


Wyświetlanie 1-10 z 10
Tytuł:
On the Complexity of the Equational Theory of Residuated Boolean Algebras.
Autorzy:
Lin, Zhe
Ma, Minghui
Pokaż więcej
Źródło:
Logic, Language, Information & Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings; 2016, p265-278, 14p
Książka
Tytuł:
Algebraic Semantics for Dynamic Dynamic Logic.
Autorzy:
Ma, Minghui
Seligman, Jeremy
Pokaż więcej
Źródło:
Logic, Rationality & Interaction 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings; 2015, p255-267, 13p
Książka
Tytuł:
Alternative Semantics for Visser's Propositional Logics.
Autorzy:
Sano, Katsuhiko
Ma, Minghui
Pokaż więcej
Źródło:
Logic, Language & Computation: 10th International Tbilisi Symposium on Logic, Language & Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers; 2015, p257-275, 19p
Książka
Tytuł:
Dynamic Epistemic Logic of Finite Identification.
Autorzy:
Ma, Minghui
Pokaż więcej
Źródło:
Logic, Rationality & Interaction; 2009, p227-237, 11p
Książka
    Wyświetlanie 1-10 z 10

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies