scientific article; zbMATH DE number 7552283

DOI10.13137/2464-8728/33310zbMath1490.68080MaRDI QIDQ5087786

Fabio Tardivo, Enrico Pontelli, Andrea Formisano, Agostino Dovier

Publication date: 1 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

parallelismconstraint logic programmingcomputable set theory

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Logic in computer science (03B70) Applications of set theory (03E75) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• CUDA
• MiniZinc
• Z
• JSetL
• SETL
• CUD@SAT

Cites Work

• Interval propagation to reason about sets: Definition and implementation of a practical language
• Disunification in ACI1 theories
• Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case
• Logic programs with stable model semantics as a constraint programming paradigm
• Automated proof of Bell-LaPadula security properties
• {log}: A language for programming in logic with finite sets
• Set constructors in a logic database language
• Set unification
• Adding partial functions to Constraint Logic Programming with sets
• Logic Programming
• Decidability results for sets with atoms
• A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
• Principles and Practice of Constraint Programming – CP 2004
• Constructive negation and constraint logic programming with sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: