A First-order Logic with Frames

Autor: Adithya Murali, Lucas Peña, P. Madhusudan, Christof Löding

Publikováno v: Cham, Switzerland : Springer, Lecture notes in computer science 12075, Theoretical Computer Science and General Issues 515-543 (2020). doi:10.1007/978-3-030-44914-8_19
Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020: proceedings / Peter Müller (ed.)
Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020: proceedings / Peter Müller (ed.)29. European Symposium on Programming, ESOP 2020, online, 2020-04-25-2020-04-30
Programming Languages and Systems ISBN: 9783030449131
ESOP
Programming Languages and Systems

We propose a novel logic, called Frame Logic (FL), that extends first-order logic (with recursive definitions) using a construct Sp(.) that captures the implicit supports of formulas -- the precise subset of the universe upon which their meaning depe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f7fc29d65b4ef458a48b506ab8c778e
https://doi.org/10.1145/3583057

Foundations for natural proofs and quantifier instantiation

Autor: Christof Löding, P. Madhusudan, Lucas Peña

Publikováno v: Proceedings of the ACM on Programming Languages : PACMPL 2, 10 (2018). doi:10.1145/3158098 special issue: "POPL : [45th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2018, 2018-01-07-2018-01-13, Los Angeles, California, USA]"
45. ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2018, Los Angeles, CA, USA, 2018-01-07-2018-01-13

We give foundational results that explain the efficacy of heuristics used for dealing with quantified formulas and recursive definitions. We develop a framework for first order logic (FOL) over an uninterpreted combination of background theories. Our

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e11b0937f3557f034c5600567c66154f

Influence of the Dielectric Medium on the Carbonyl Infrared Absorption Peak of Acetylferrocene

Autor: José Lucas Peña-Suárez, Francisco Lopez-Linares, Néstor Cubillán, Ysaias Alvarado, José Caldera-Luzardo, Paola H. Labarca

Publikováno v: Scopus-Elsevier
Molecules : A Journal of Synthetic Chemistry and Natural Product Chemistry
Molecules
Volume 10
Issue 2
Pages 457-474
Molecules, Vol 10, Iss 2, Pp 457-474 (2005)

The solvent effect on the position of the carbonyl vibrational stretching of acetylferrocene in aprotic media was studied in this work. The solvent-induced shifts in this organometallic compound were interpreted in terms of the alternative reaction f

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60e79fecf18b40d91700360745514568
https://doi.org/10.3390/10020457

Sphingomonas paucimobilis keratitis in a patient with neurotrophic keratopathy and severe neurosensory hypoacusis: Treatment with penetrating keratoplasty and amniotic membrane grafting

Autor: Manuel Roca, Arantxa García, Lucas Penas-Pardo, Nuria Bosch-Aparicio, Jaime Agustí

Publikováno v: Oman Journal of Ophthalmology, Vol 11, Iss 3, Pp 291-293 (2018)

We describe a case of a man with neurotrophic keratitis of unknown ethiology, who developed a massive stromal melting during treatment of a persistent epithelial defect. A tectonic keratoplasty combined with amniotic membrane grafting was made. Host

Externí odkaz: https://doaj.org/article/0e9e1354b2a242e39436ed1aa3c890eb