scientific article; zbMATH DE number 7552283
From MaRDI portal
Publication:5087786
DOI10.13137/2464-8728/33310zbMATH Open1490.68080MaRDI QIDQ5087786FDOQ5087786
Authors: Agostino Dovier, Andrea Formisano, Enrico Pontelli, Fabio Tardivo 
Publication date: 1 July 2022
Title of this publication is not available (Why is that?)
Recommendations
Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Parallel algorithms in computer science (68W10) Logic in computer science (03B70) Applications of set theory (03E75)
Cites Work
- Title not available (Why is that?)
- Handbook of constraint programming.
- Logic programs with stable model semantics as a constraint programming paradigm
- Title not available (Why is that?)
- {log}: A language for programming in logic with finite sets
- Title not available (Why is that?)
- Constructive negation and constraint logic programming with sets
- Set constructors in a logic database language
- Interval propagation to reason about sets: Definition and implementation of a practical language
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decidability results for sets with atoms
- Disunification in ACI1 theories
- Logic Programming
- Principles and Practice of Constraint Programming – CP 2004
- Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case
- Automated proof of Bell-LaPadula security properties
- Set unification
- Title not available (Why is that?)
- Adding partial functions to constraint logic programming with sets
- A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
Cited In (2)
Uses Software
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 Q5087786)
