scientific article; zbMATH DE number 1420800

zbMATH Open0949.68018MaRDI QIDQ4944864FDOQ4944864

Authors: Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli 

Publication date: 5 December 2000

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

Recommendations

• {log}: A language for programming in logic with finite sets
• scientific article; zbMATH DE number 1140683
• Set constraints and logic programming
• A set solver for finite set relation algebra
• Logic Programming

zbMATH Keywords

logic languages

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (4)

• A set solver for finite set relation algebra
• Logic Programming
• Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
• Title not available (Why is that?)

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 Q4944864)