Вы здесь

Главная

Algebraic and Logic Programming

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

ACP with Signals
A Hierarchy of Semantics for Normal Constraint Logic Programs
A Language for the Logical Specification of Processes and Relations
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types
A Process Algebra for Synchronous Concurrent Constraint Programming
BABEL: A Functional and Logic Programming Language based on constructor discipline and narrowing
Complementing Logic Program Semantics
Functional Extensions to PROLOG: are they needed?
Independence in Dynamically Scheduled Logic Languages
Integrating Logic Programming and Equational Specification of Abstract Data Types
Logic Programming with Polymorphically Order-Sorted Types
Modular Algebraic Specifications
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting
Nonstandard Logics of Recursive Programs and Denotational Semantics
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization
Rewrite Rule Systems for Modal Propositional Logic
Specifying Type Systems
The Semantic Treatment of Polymorphic Specification Languages
Translating Algebraic Spesifications to PROLOG Programs: a Comparative Study
Types, Modularisation and Abstraction in Logic Programming