Felty, Amy
- A Logical Framework for Systems Biology
2014/04/22 by Elisabetta De Maria, Joëlle Despeyroux, De Maria, Elisabetta +4 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Biological sciences #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Other Quantitative Biology (q-bio.OT) #Semantic Web and Ontologies #cs.LO #q-bio.OT
- Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax
2008/11/26 by Amy Felty, Felty, Amy, Alberto Momigliano +1 · 1 citation
Computer Science · #F.4.1 #FOS: Computer and information sciences #I.2.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies #cs.LO