From Computational Logic to Computational Biology

DOI10.1007/978-3-031-55248-9MaRDI QIDQ6489100zbMATH OpenFDO

Authors

Publication date 16 April 2024

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to biology (92-06)

Cited in

(1)

• A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers

This page was built for publication: From Computational Logic to Computational Biology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489100)