Pages that link to "Item:Q5466549"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466549):
Displaying 6 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838) (← links)
- Toward the interpretation of non-constructive reasoning as non-monotonic learning (Q1004290) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
