Abstract constraint data types
From MaRDI portal
Publication:5256347
Recommendations
Cites work
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3776831 (Why is no real title available?)
- scientific article; zbMATH DE number 3628362 (Why is no real title available?)
- A rewriting logic framework for soft constraints
- Categories for Software Engineering
- Foundations of algebraic specification and formal software development.
- Graded consequence: an institution theoretic study
- Institutions: abstract model theory for specification and programming
- Lazy graph transformation
- Semiring-based constraint satisfaction and optimization
- Which soft constraints do you prefer?
Cited in
(1)
This page was built for publication: Abstract constraint data types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256347)