Back to Results
First PageMeta Content
Logic / Mathematics / Automated theorem proving / Logic programming / Mathematical logic / Logical truth / Propositional calculus / Substitution / Sequence / LOOP / Constructible universe / Ground expression


Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa
Add to Reading List

Document Date: 2015-12-18 06:55:14


Open Document

File Size: 166,93 KB

Share Result on Facebook