Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
полнота
Связанные издания:
Acyclic logic programs and the completeness of SLDNF-resolution
Anaphora Processing and Applications: Revised Selected Papers/8th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2011, Faro, Portugal, October 2011
An Efficient Strategy for Analysis and Verification in Rule-Based Expert System Development
An Orthogonal Programming System Manifesto
Business Process Management: Proc./11th International Conference, BPM 2013, Beijing, China, August 2013
Certified Programs and Proofs: Proc./2nd International Conference, CPP 2012, Kyoto, Japan, December 2012
Completeness Analysis for Incomplete Object-Oriented Programs
Completeness and Consistency in Hierarchical State-Based Requirements
Completeness of a Logical System for Structured Specifications
Completeness of Hierarchical Combinations of Term Rewriting Systems
Completeness Refinement in Abstract Symbolic Trajectory Evaluation
Conditions for the algorithmic completeness of system of operations
Diagrammatic Representation and Inference: Proc./8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 2014
Extending Functional Database Languages to Update Completeness
Functional Completeness in Object-Oriented Databases
Generic Forward and Backward Simulations
Hoare Logic in the Abstract
How to Cook a Complete Hoare Logic for Your Pet OO Language
Hybrid networks of evolutionary processors are computationally complete
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking
Instance Complexity
Integrating Equational Reasoning into Instantiation-Based Theorem Proving
Intuitionistic Logic with Classical Atoms
Logic, Language, Information and Computation: Proc./18th International Workshop, WoLLIC 2011, Philadelphia,PA,USA, May 2011
Logic of Proofs
Memrane Computing: Revised Selected Papers/15th International Conference, CMC 2014, Prague, Czech Republic, August 2014
Model Checking Software: Proc./16th International SPIN Workshop, Grenoble, France, June 2009
Models for logic of proofs
On Completeness of Historical Relational Query Languages
On Expressive Completeness of Modal Logic
On the Completeness of Residuation
On the Completeness of Temporal Database Query Languages
On the Expressive Power of Modal Logics on Trees
Operational modal logic
Program Verification Using Automatic Generation of Invariants
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs
Pure Functions in APL and J
Service-Based Systems Engineering: Consistent Combination of Services
Some Further Theoretical Results about Computer Viruses
Some Remarks on the Completed Database
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 2013
Synchronization of Logics with Mixed Rules: Completeness Preservation
Temporal Logics Need Their Clocks
Ten Years of Hoare s Logic:A Survey - Part 1
Unsound Theorem Proving
Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
Алгоритм распознавания достаточной полноты алгебраической спецификации абстрактного типа данных
Вопросы полноты для регулярных отображений
Вычислительная полнота композиционных моделей баз данных
Критериии алгоритмической полноты систем операций
1
2
следующая ›
последняя »