Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2
69,15 €
Undecidability of Relation-Changing Modal Logics. - Axiomatization and computability of a variant of iteration-free PDL with fork. - A Dynamic Logic for Learning Theory. - Layered logics, coalgebraically.
Jetzt bei Ebay:
