Closures and Modules Within Linear Logic Concurrent Constraint Programming

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-77050-3_45
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Semantics-Preserving Translations Between Linear Concurrent Constraint Programming and Constraint Handling Rules

2010English

An Active-Constraint Logic for Non-Linear Programming

Optimal Control Applications and Methods
ControlSystems EngineeringApplied MathematicsOptimizationSoftware
1984English

Timed Default Concurrent Constraint Programming

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1996English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Tree Drawing Using Constraint Logic Programming

1997English

Continuation Compilation for Concurrent Logic Programming

1995English

A Labelled Semantics for Soft Concurrent Constraint Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Functional Test Generation Using Constraint Logic Programming

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2002English

Posterior Constraint Selection for Nonnegative Linear Programming

American Journal of Operations Research
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy