The emptiness problem for intersection types
- 期刊名称The Journal of Symbolic Logic
- 作者Urzyczyn, Paweł
- 卷第64卷
- 期第3期
- 印刷ISSN0022-4812
- 电子ISSN1943-5886
- 文件大小1374.66KB
- 发表时间1999-09
- DOI10.2307/2586625
- 页码1195-1215
Toward a Non-Empirical Treatment for Rheumatoid Arthritis Based on Its Molecular PathogenesisJosé Moreno; Guelaguetza Vázquez-Ortiz; Jebea A. López-Blanco; Ricardo López-Romero; Francisco Medina · 2008
Approximate transferability in alkanenitrilesJos Luis López; Marcos Mandado; Ana M. Graña; Ricardo A. Mosquera · 2002
Foreign Technology Licensing, Productivity, and SpilloversRicardo A. López · 2008
Trade Liberalization and Industry DynamicsRoberto Álvarez, Ricardo A. López · 2012
State Estimation Based on Nonlinear Observer for Hydrogen Production in a Photocatalytic Anaerobic BioreactorAguilar López, Ricardo; Ruiz Camacho, Beatriz; Neria-González, M. Isabel; Rangel, Eduardo; Santos, Omar; López Pérez, Pablo A. · International Journal of Chemical Reactor Engineering · 2017
Export growth and firm survivalEmami Namini, Julian; Facchini, Giovanni; López, Ricardo A. · Economics Letters · 2013
Hacia un tratamiento no empírico de la artritis reumatoide basado en su patogenia molecularJosé Moreno; Guelaguetza Vázquez-Ortiz; Jebea A. López-Blanco; Ricardo López-Romero; Francisco Medina · 2008
CIGB-300, a novel proapoptotic peptide that impairs the CK2 phosphorylation and exhibits anticancer properties both inSilvio E. Perea; Osvaldo Reyes; Idania Baladron; Yasser Perera; Hernán Farina; Jeovanis Gil; Arielis Rodriguez; Dania Bacardi; Jose L. Marcelo; Karelia Cosme; Marisol Cruz; Carmen Valenzuela; Pedro A. López-Saura; Yaquelin Puchades; Joem M. Serrano; Osmani Mendoza; Lila Castellanos; Aniel Sanchez; Lazaro Betancourt; Vladimir Besada; Ricardo Silva; Ernesto López; Viviana Falcón; Ignacio Hernández; Margarita Solares; Agueda Santana; Alina Díaz; Thelvia Ramos; Carlos López; Juan Ariosa; Luis J. González; Hilda Garay; Daniel Gómez; Roberto Gómez; Daniel F. Alonso; Hugo Sigman; Luis Herrera; Boris Acevedo · 2008
Toward a Comparative Study of RevolutionsElbaki Hermassi · Comparative Studies in Society and History · 1976
The Comparative Method of AnthropologyKenneth E. Bock · Comparative Studies in Society and History · 1966
The Consequences of LiteracyJack Goody and Ian Watt · Comparative Studies in Society and History · 1963
Between Slavery and FreedomM. I. Finley · Comparative Studies in Society and History · 1964
Patterns of Ethnic SeparatismDonald L. Horowitz · Comparative Studies in Society and History · 1981
Theory in Anthropology: Center and PeripheryArjun Appadurai · Comparative Studies in Society and History · 1986
Adoption in Cross-Cultural PerspectiveJack Goody · Comparative Studies in Society and History · 1969
Zoroastrian CommunismCrone, Patricia · Comparative Studies in Society and History · 1994