Experimental Biological Protocols with Formal Semantics.

Alessandro Abate Luca Cardelli Marta Kwiatkowska Luca Laurenti Boyan Yordanov

Published in: CoRR (2017)

Keyphrases

formal semantics
er model
computational complexity
relational databases
logical language