Вы здесь

Главная

пропозициональная логика

Связанные издания:

Infinite State Model-Checking of Propositional Dynamic Logics
Model Checking Quantified Computation Tree Logic
PDL with Intersection and Converse Is Decidable
Typed Lambda Calculi and Applications: Proc./7th International Conference, TLCA 2005. Nara, Japan, April 2005