Inhibited Effects in CP-Logic
From MaRDI portal
Recommendations
- Membrane Computing
- Limiting negations in non-deterministic circuits
- Semantics of inhibitor nets
- Constrained pseudo-propositional logic
- Constraints for input/output logics
- Limiting Negations in Constant Depth Circuits
- scientific article; zbMATH DE number 1456952
- Negation-limited complexity of parity and inverters
- Negation-Limited Complexity of Parity and Inverters
- Barriers in Concurrent Separation Logic
Cited in
(2)
This page was built for publication: Inhibited Effects in CP-Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938419)