Вы здесь

Home » Издательства

The MIT Press

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

A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs
A Brief Introduction to Inductive Logic Programming
Abstract compilation of LambdaProlog
Abstract Interpretation for Concurrent Logic Languages
Abstract Interpretation of Linear Logic Programming
Abstraction of Conditional Term Rewriting Systems
Abstract Views of Prolog Executions in Opium
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
A Catalog of Complexity Classes
A Characterization of Non-Floundering Logic Programs
A Characterization of the Partial Stable Models for Disjunctive Deductive Databases
ACL - A Concurrent Linear Logic Programming Paradigm
A Clausal Logic for Deontic Action Specification
A CLP(R) Options Trading Analisys System
A Complete Top-down Interpreter for First Order Programs
A Compositional Proof Method of Partial Correctness for Normal Logic Programs
A Compositional Semantics for Logic Programs and Deductive Databases
A Compositional Semantics for Normal Open Programs
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design
Actions and Specificity
A Data-Driven Parallel Execution Model for Logic Programs
Adding Flexibility to Query Evaluation for Modularity Stratified Databases
Adding Negation-as-Failure to Intuitionistic Logic Programming
A Declarative Alternative to "assert" in Logic Programming
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution
Advanced Tutorial: Concurrent Logic Programming
A Fast Prolog-Based Production System Kore/IE
A Framework for Modal Logic Programming
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction of Logic Programs
A Generic Abstract Interpretation Algorithm and Its Complexity Analysis
A Higher Order Rewriting Logic for Functional Logic Programming
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types
Algebraic Complexity Theory
Algebraic Properties of a Class of Logic Programs
Algebraic Specification
Algebra of Logic Programming
Algorithmic Motion Planning in Robotics
A Linear Logic Calculus of Objects
A Logical Semantics for Depth-First Prolog with Ground Negation
A Memory Organisation Independent Binding Environment for AND and OR Parallel Execution of Logic Pragrams
AMLOG-E: A New Approach towards Amalgamation
A Modal Reconstruction of Blocks and Modules in Logic Programming
An Abstract Machine for Computing the Well-Founded Semantics
An Algebraic Framework for Abstract Interpretation of Definite Programs
An Algebraic Semantics of Logic Programs as Structured Transition Systems
An Algebraic Semantics of Prolog Program Termination
An Algebra of Logic Programs
An Alternative Characterization of Disjunctive Logic Programs
Analysing Logic Programs using "Prop"-ositional Logic Programs and a Magic Wand