Towards a Logical Analysis of Biochemical Pathways Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas Department of Computer and Information Science, SE[removed]Link¨oping, Sweden, email: {patdo,g-steke, - Steve Martin - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards a Logical Analysis of Biochemical Pathways Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas Department of Computer and Information Science, SE[removed]Link¨oping, Sweden, email: {patdo,g-steke, Add to Reading List Document Date: 2012-01-23 11:40:19 Open Document File Size: 96,95 KB Share Result on Facebook Company Hypotheses Generation Using Snc / Wsc’s Snc / / / IndustryTerm biological systems / chemical reactions / certain side product / computing / / Organization Andrzej Szalas Department of Computer and Information Science / / Person Martin Magnusson / Steve Kertes / Patrick Doherty / / Technology av / database management system / / SocialTag Model theory Formal languages First-order logic Predicate logic Constructible universe Chemical reaction Well-formed formula Function Logic Mathematical logic

Towards a Logical Analysis of Biochemical Pathways Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas Department of Computer and Information Science, SE[removed]Link¨oping, Sweden, email: {patdo,g-steke,Add to Reading List