scientific article; zbMATH DE number 20700
From MaRDI portal
Publication:3979889
Recommendations
- Computer Algebra in Scientific Computing
- scientific article; zbMATH DE number 500947
- scientific article; zbMATH DE number 1406434
- Definability and canonicity for Boolean logic with a binary relation
- scientific article; zbMATH DE number 6108197
- Canonizing relations on nonsmooth sets
- On theories with the general disjunction property
- On disjunction in intuitionist logic
- scientific article; zbMATH DE number 4179363
- On the semantics of classical disjunction
Cited in
(5)- scientific article; zbMATH DE number 6108197 (Why is no real title available?)
- The disjunctive procedure and blocker duality
- On the Negative Disjunction Property
- Relationships between polyhedral convex sets and generalized polyhedral convex sets
- A representation of generalized convex polyhedra and applications
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 Q3979889)