The following pages link to (Q5686039):
Displaying 32 items.
- Reconsidering pairs and functions as sets (Q286796) (← links)
- Pursuit evasion on infinite graphs (Q343924) (← links)
- Simple feature engineering via neat default retrenchments (Q649587) (← links)
- Asking infinite voters `who is a J?': group identification problems in \(\mathbb{N} \) (Q779008) (← links)
- Transformational derivation of an improved alias analysis algorithm (Q815001) (← links)
- Verifying programs by induction on their data structure: general format and applications (Q1050765) (← links)
- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879) (← links)
- On using random relations to generate upper and lower probabilities (Q1247674) (← links)
- Regular relations and bicartesian squares (Q1329746) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic (Q1386681) (← links)
- Dominance-based measurement of productive and environmental performance for manufacturing. (Q1420483) (← links)
- On Cantorian spacetime over number systems with division by zero (Q1878186) (← links)
- Cantor and generalized continuum hypotheses may be false (Q1878216) (← links)
- Set theory for verification. II: Induction and recursion (Q1904402) (← links)
- On the identification of changing tastes (Q2002362) (← links)
- Copies from ``Standard set theory''? A note on the foundations of minimalist syntax in reaction to Chomsky, Gallego and Ott (2019) (Q2135956) (← links)
- Monographs, a category of graph structures (Q2237337) (← links)
- Why mathematics needs engineering (Q2374304) (← links)
- Iterated strict dominance in general games (Q2462288) (← links)
- Study of the diagnosability of automated production systems based on functional graphs (Q2489617) (← links)
- Regularity of relations: A measure of uniformity (Q2638796) (← links)
- On representation and approximation of operations in Boolean algebras (Q2739008) (← links)
- Mind the Croc! Rationality Gaps vis-à-vis the Crocodile Paradox (Q2964408) (← links)
- Specification methodology: An integrated relational approach (Q3738546) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- Properties of distance spaces with power triangle inequalities (Q5740296) (← links)
- Weyl conjecture and thermal radiation of finite systems (Q5879073) (← links)
- An open formalism against incompleteness (Q5937853) (← links)
- Graphs and booleans: on the generation of referring expressions (Q6547646) (← links)
- Compactness and symmetric well-orders (Q6643763) (← links)
- Algebraic properties and transformations of monographs (Q6652464) (← links)
