Вы здесь

Главная

логический

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

Data refinement of predicate transformers
Data Structures for Order-Sensitive Predicates in Parallel Nondeterministic Systems
DDT: A Declarative Debugging Tool for Functional-Logic Languages
Debugging by Diagnosing Assumptions
Debugging Logic Programs Using Specifications
Decidability and undecidability of equivalence for linear Datalog, with applications to normal-form optimizations
Decidability of Logic Program Semantics and Applications to Testing
Declarative Interpretations Reconsidered
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure
Declarative Semantics of Input Consuming Logic Programs
Declarative Semantics of Logic Programming
Decoding Boundedness for Uniformly Connected Datalog Programs
Deduced Relevant Types and Constractive Negation
Default Consequence Relations as a Logical Framework for Logic Programs
Default Priorities as Epistemic Entrenchment
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages
Demand-driven and Constraint-based Automatic Left-termination Analysis for Logic Programs
Denotational Abstract Interpretation of Functional Logic Programs
Denotational Abstract Interpretation of Logic Programs
Deontic Logic in Computer Science: Proc./10th International Conference, DEON 2010, Fiesole, Italy, July 2010
Dependency-Directed Binding of Variables for Constraint Logic Programming
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis
Derivation of Concurrent Algorithms in Tempo
Derivation of Efficient Logic Programs by Synthesizing New Predicates
Derivation of Linear Size Relations by Abstract Interpretation
Derivation of logic programs by functional methods
Derivation of Proof Methods by Abstract Interpretation
Deriving and Applying Logic Program Transformers
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop
Deriving Termination Proofs for Logic Programs, using Abstract Procedures
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs
Design for AKL with Intelligent Pruning
Design, Implementation, and Evaluation of the Constraint Language cc(FD)
Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail
Detecting Optimal Termination Conditions of Logic Programs
Detection and Optimization of Suspension-free Logic Programs
Detection d erreurs en Programmation Logique: Une Adaptation de la Methode de E.V.Shapiro
Deterministic Parsing of Languages with Dynamic Operators
Developing Logic Programs from Specifications Using Stepwise Refinement
Development of Correct Transformation Schemata for Prolog Programs
Diagnosing Non- Well-Moded Concurrent Logic Programs
Diagnosis and Debugging as Contradiction Removal in Logic Programs
Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction
Digital Circuit Design: An Introductory Textbook
Directional Type Checking of Logic Programs
Directional Type Inference for Logic Programs
Disjunctive Logic Programs with Inheritance
Disjunctive Ordered Logic
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation
Distributed Algorithm for K-Entries to Critical Section Based on the Directed Graphs