A Labelled Semantics for Soft Concurrent Constraint Programming

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-19282-6_9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

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

2010English

Timed Default Concurrent Constraint Programming

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1996English

Closures and Modules Within Linear Logic Concurrent Constraint Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

A Linear-Logic Semantics for Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Constraint Programming Approach for Instruction Assignment

2011English

Semantics of Concurrent Revisions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Constraint Programming for Air Traffic Management: A Survey

Knowledge Engineering Review
Artificial IntelligenceSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy