The following pages link to Saeed Salehi (Q590045):
Displaying 31 items.
- Introduction to clarithmetic. II (Q259084) (← links)
- Regular languages of thin trees (Q290908) (← links)
- Introduction to clarithmetic. III (Q392285) (← links)
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- On equal \(\mu \)-terms (Q549186) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Varieties of recognizable tree series over fields (Q627171) (← links)
- A sorting network in bounded arithmetic (Q638498) (← links)
- Compressed word problems in HNN-extensions and amalgamated products (Q639849) (← links)
- Introduction to clarithmetic. I (Q642523) (← links)
- The word problem for \(\omega \)-terms over DA (Q650888) (← links)
- Cutting planes and the parameter cutwidth (Q693047) (← links)
- On some representations of the real number field (Q695771) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Regular sets over extended tree structures (Q764339) (← links)
- (Q812100) (redirect page) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- Polynomially bounded recursive realizability (Q817959) (← links)
- Tree algebras and varieties of tree languages (Q884456) (← links)
- On meta complexity of propositional formulas and propositional proofs (Q937212) (← links)
- On the form of witness terms (Q982183) (← links)
- Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839) (← links)
- Generic expression hardness results for primitive positive formula comparison (Q1951576) (← links)
- Provably total functions of Basic Arithmetic (Q4808473) (← links)
- GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS (Q4984860) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431354) (← links)
- Gödel’s Incompleteness Phenomenon—Computationally (Q5499600) (← links)
- Gödelian sentences, Rosserian sentences and truth (Q5866470) (← links)
- On Arithmetical Truth of the Self-Referential Sentences (Q6275550) (← links)
- On the Truth of G\"odelian and Rosserian Sentences (Q6348142) (← links)
