scientific article; zbMATH DE number 2080548

zbMATH Open1051.68768MaRDI QIDQ4473377FDOQ4473377

Authors: Evgueni S. Petrov 

Publication date: 4 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1909/19090180.htm

Title of this publication is not available (Why is that?)

Recommendations

• Levels of concurrency in constraint satisfaction problems with subdefinite objects
• An interval library: The experience of integration of logic and constraint programming
• scientific article; zbMATH DE number 1368927
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• Logic programs with stable model semantics as a constraint programming paradigm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Logic programming (68N17)

Cited In (3)

• A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains
• Title not available (Why is that?)
• An interval library: The experience of integration of logic and constraint programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473377)