Zsyntax

MaRDI QIDQ41837swMATHFDO

Official website https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2831071/

Source code repository https://github.com/fsestini/zsyntax/

Cited in

(3)

• Proof search in a context-sensitive logic for molecular biology
• scientific article; zbMATH DE number 7453108 (Why is no real title available?)
• Adding logic to the toolbox of molecular biology

This page was built for software: Zsyntax