Вы здесь

Главная

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

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

A Decision Procedure for Propositional N-Prolog
A Propositional Logic-Based Mehtod for Verification of Feature Models
Boolean Techniques applied to knowledge bases
Computing 3-valued Stable Models by using the ATMS
Distributed Real-Time System Sprcification and Verification in APTL
Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic
Improved Upper Bounds for Propositional Dynamic Logic Variants
Inconsistency Tolerance
Knowledge Extraction in Trivalued Propositional Logic
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./11th International Conference, LPAR 2004. Montevideo, Uruguay, March 2005
Notions of Average-Case Complexity for Random 3-SAT
On Expressive and Model Checking Power of Propositional Program Logics
On models for propositional dynamic logic
Possible Models Diagrams. A visual alternative to truth tables
Program schemata technique for decidability of propositional dynamic logic variants
Propositional Logic Representations for Documents and Queries: A Large-Scale Evaluation
Propositional State Event Logic
Recursive Inseparability in Linear logic
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially
The Basic Logic of Proofs
The Logic in Computer Science Column. How to Find a Coin: Propositional Program Logics Made Easy (by Shilov N.V., Yi K.)
The undecidability of propositional temporal logic for Petri nets
Метод схем программ для пропозициональных программных логик за 30 лет
О схемном методе разрешения пропозициональных динамических логик
Реализация метода оценки формул пропозициональной динамической логики с неподвижными точками на конечных моделях