Sign In

Login

Password

Forgot Password ? Sign Up

Induction-induction (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Induction-induction" in English language version.

refsWebsite
Global rank English rank
1chalmers.se
low place
7,981st place
1psu.edu
207th place
136th place
1doi.org
2nd place
2nd place
1jstor.org
26th place
20th place
1semanticscholar.org
11th place
8th place

chalmers.se

cse.chalmers.se

  • Dybjer, Peter (June 2000). "A general formulation of simultaneous inductive-recursive definitions in type theory" (PDF). Journal of Symbolic Logic. 65 (2): 525–549. CiteSeerX 10.1.1.6.4575. doi:10.2307/2586554. JSTOR 2586554. S2CID 18271311.

doi.org

  • Dybjer, Peter (June 2000). "A general formulation of simultaneous inductive-recursive definitions in type theory" (PDF). Journal of Symbolic Logic. 65 (2): 525–549. CiteSeerX 10.1.1.6.4575. doi:10.2307/2586554. JSTOR 2586554. S2CID 18271311.

jstor.org

  • Dybjer, Peter (June 2000). "A general formulation of simultaneous inductive-recursive definitions in type theory" (PDF). Journal of Symbolic Logic. 65 (2): 525–549. CiteSeerX 10.1.1.6.4575. doi:10.2307/2586554. JSTOR 2586554. S2CID 18271311.

psu.edu

citeseerx.ist.psu.edu

  • Dybjer, Peter (June 2000). "A general formulation of simultaneous inductive-recursive definitions in type theory" (PDF). Journal of Symbolic Logic. 65 (2): 525–549. CiteSeerX 10.1.1.6.4575. doi:10.2307/2586554. JSTOR 2586554. S2CID 18271311.

semanticscholar.org

api.semanticscholar.org

  • Dybjer, Peter (June 2000). "A general formulation of simultaneous inductive-recursive definitions in type theory" (PDF). Journal of Symbolic Logic. 65 (2): 525–549. CiteSeerX 10.1.1.6.4575. doi:10.2307/2586554. JSTOR 2586554. S2CID 18271311.