Unifying Local and Nonlocal Modelling of Respective and Symmetrical Predicates
From MaRDI portal
Recommendations
- On local domain symmetry for model expansion
- scientific article; zbMATH DE number 1612537
- Generalized local-to-unity models
- Latent local-to-unity models
- Local symmetry and compositional verification
- scientific article; zbMATH DE number 1136654
- Modelling local variables: possible worlds and object spaces
- Local nonlinear model matching: From linearity to nonlinearity
- A study of symmetry breaking predicates and model counting
Cited in
(3)
This page was built for publication: Unifying Local and Nonlocal Modelling of Respective and Symmetrical Predicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2921947)