Edit Profile (opens in new tab) Corella, Francisco Author ID: corella.francisco Published as: Corella, Francisco; Corella, F. Documents Indexed: 2 Publications since 1986 Co-Authors 2 single-authored Serials 1 Journal of Automated Reasoning Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Semantic retrieval and levels of abstraction. Zbl 0644.68118 Corella, Francisco 1 1986 Semantic retrieval and levels of abstraction. Zbl 0644.68118 Corella, Francisco 1 1986 Cited by 1 Author 1 Corella, Francisco Cited in 1 Serial 1 Journal of Automated Reasoning Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year