Similar Items: Multi-representation associated to the numbering of a subbasis and formal inclusion relations
- Limits of real numbers in the binary signed digit representation
- Multi-Structural Games and Number of Quantifiers
- A full formal representation of Arrow’s impossibility theorem
- Formal Languages, Formally and Coinductively
- Hypergraph Formalism for Fuzzy Signature-Based Robot Environment Representation
- Abstract Completion, Formalized