Ruy de Queiroz (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Ruy de Queiroz" in English language version.

refsWebsite

Global rank English rank

1books.google.com

3^rd place

3^rd place

69^th place

59^th place

arxiv.org

de Queiroz; de Oliveira (2011). "Propositional equality, identity types, and direct computational paths". arXiv:1107.1901 [cs.LO].

books.google.com

GABBAY, Dov M.; WOODS, John (2009-04-27). The International Directory of Logicians. College Publications. ISBN 978-1-904987-90-1. Retrieved 2011-07-28.