The following pages link to John N. Crossley (Q752666):
Displayed 50 items.
- Thus spake al-Ḵẖwārizmī: A translation of the text of Cambridge University library ms. ii.vi.5 (Q752668) (← links)
- The given (Q791521) (← links)
- Fifty years of computability (Q923077) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- Completeness proofs for propositional logic with polynomial-time connectives (Q1123883) (← links)
- Cancellation laws for polynomial-time \(p\)-isolated sets (Q1192348) (← links)
- (Q1232404) (redirect page) (← links)
- Effective dimension (Q1232405) (← links)
- New Curry-Howard terms for full linear logic (Q1390952) (← links)
- Curry-Howard terms for linear logic (Q1580654) (← links)
- (Q2709211) (← links)
- (Q2722042) (← links)
- (Q2735783) (← links)
- Declarative programming (Q2841254) (← links)
- (Q3346300) (← links)
- (Q3518185) (← links)
- (Q3529181) (← links)
- (Q3676136) (← links)
- Natural well-orderings (Q3772212) (← links)
- (Q3904585) (← links)
- (Q3918101) (← links)
- (Q3919665) (← links)
- (Q3924139) (← links)
- (Q3926567) (← links)
- (Q4035306) (← links)
- (Q4040322) (← links)
- (Q4071223) (← links)
- (Q4087158) (← links)
- (Q4103066) (← links)
- (Q4170702) (← links)
- (Q4385454) (← links)
- (Q4397041) (← links)
- (Q4421868) (← links)
- (Q4437264) (← links)
- (Q4460836) (← links)
- (Q4460845) (← links)
- (Q4471724) (← links)
- Logics Modulo Theories: a logical framework for multi-agent systems (Q4644522) (← links)
- (Q4700804) (← links)
- (Q4737136) (← links)
- (Q4764097) (← links)
- (Q4764104) (← links)
- (Q4769050) (← links)
- (Q4777250) (← links)
- (Q4856950) (← links)
- Tiered Logic for Agents in Contexts (Q4932627) (← links)
- (Q4941939) (← links)
- … and so on: Schütte on Naming Ordinals (Q5013893) (← links)
- What Is Mathematical Logic? A Survey (Q5246105) (← links)
- What Is a Proof? (Q5246107) (← links)