{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:47:20Z","timestamp":1725864440920},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319451763"},{"type":"electronic","value":"9783319451770"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45177-0_1","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T05:42:38Z","timestamp":1472881358000},"page":"3-12","source":"Crossref","is-referenced-by-count":2,"title":["(Mathematical) Logic for Systems Biology (Invited Paper)"],"prefix":"10.1007","author":[{"given":"Jo\u00eblle","family":"Despeyroux","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"issue":"3","key":"1_CR1","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J Andreoli","year":"1992","unstructured":"Andreoli, J.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2(3), 297\u2013347 (1992)","journal-title":"J. Log. Comput."},{"issue":"1","key":"1_CR2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/2071368.2071370","volume":"13","author":"D Baelde","year":"2012","unstructured":"Baelde, D.: Least and greatest fixed points in linear logic. ACM Trans. Comput. Log. 13(1), 2 (2012)","journal-title":"ACM Trans. Comput. Log."},{"key":"1_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development. Coq\u2019Art: The Calculus of Inductive Constructions","author":"Y Bertot","year":"2004","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development. Coq\u2019Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)"},{"key":"1_CR4","unstructured":"Caires, L., Perez, J., Pfenning, F.: Logic-based domain-aware session types (2014) (submitted)"},{"issue":"1","key":"1_CR5","first-page":"93","volume":"229","author":"D Campagna","year":"2009","unstructured":"Campagna, D., Piazza, C.: Hybrid automata in systems biology: how far can we go? Electron. Notes TCS 229(1), 93\u2013108 (2009)","journal-title":"Electron. Notes TCS"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Danos, V.: Agile modelling of cellular signalling (invited paper). In: Proceedings of the 5th Workshop on Structural Operational Semantics (SOS). Electronic Notes in TCS, vol. 229, pp. 3\u201310. Elsevier (2009)","DOI":"10.1016\/j.entcs.2009.07.070"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BFb0022564","volume-title":"Computational Logic and Proof Theory","author":"V Danos","year":"1993","unstructured":"Danos, V., Joinet, J.B., Schellinx, H.: The structure of exponentials: uncovering the dynamics of linear logic proofs. In: Mundici, D., Gottlob, G., Leitsch, A. (eds.) KGC 1993. LNCS, vol. 713, pp. 159\u2013171. Springer, Heidelberg (1993)"},{"key":"1_CR8","unstructured":"Despeyroux, J., Chaudhuri, K.: A hybrid linear logic for constrained transition systems. In: Post-Proceedings of the 9th International Conference on Types for Proofs and Programs (TYPES 2013). Leibniz International Proceedings in Informatics, vol. 26, pp. 150\u2013168. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2014)"},{"key":"1_CR9","unstructured":"Despeyroux, J., Olarte, C., Pimentel, E.: Hybrid and subexponential linear logics. In: Proceedings of the 11th workshop on Logical and Semantic Frameworks, with Applications (LSFA) (2016)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-540-68894-5_3","volume-title":"Formal Methods for Computational Systems Biology","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Formal cell biology in biocham. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 54\u201380. Springer, Heidelberg (2008)"},{"key":"1_CR11","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G Gentzen","year":"1969","unstructured":"Gentzen, G.: Investigations into logical deductions, 1935. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 68\u2013131. North-Holland Publishing Co., Amsterdam (1969)"},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"JY Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. TCS 50, 1\u2013102 (1987)","journal-title":"TCS"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/978-3-319-10398-3_10","volume-title":"Formal Methods in Macro-Biology","author":"E Maria de","year":"2014","unstructured":"de Maria, E., Despeyroux, J., Felty, A.P.: A logical framework for systems biology. In: Fages, F., Piazza, C. (eds.) FMMB 2014. LNCS, vol. 8738, pp. 136\u2013155. Springer, Heidelberg (2014)"},{"key":"1_CR14","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.tcs.2012.12.008","volume":"474","author":"D Miller","year":"2013","unstructured":"Miller, D., Pimentel, E.: A formal framework for specifying sequent calculus proof systems. Theoret. Comput. Sci. 474, 98\u2013116 (2013)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/978-3-642-40184-8_29","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"V Nigam","year":"2013","unstructured":"Nigam, V., Olarte, C., Pimentel, E.: A general proof system for modalities in concurrent constraint programming. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013 \u2013 Concurrency Theory. LNCS, vol. 8052, pp. 410\u2013424. Springer, Heidelberg (2013)"},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.entcs.2011.03.009","volume":"269","author":"V Nigam","year":"2011","unstructured":"Nigam, V., Pimentel, E., Reis, G.: Specifying proof systems in linear logic with subexponentials. Electron. Notes Theoret. Comput. Sci. 269, 109\u2013123 (2011)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.tcs.2016.03.029","volume":"641","author":"C Olarte","year":"2016","unstructured":"Olarte, C., Chiarugi, D., Falaschi, M., Hermith, D.: A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theoret. Comput. Sci. (TCS) 641, 25\u201342 (2016)","journal-title":"Theoret. Comput. Sci. (TCS)"},{"key":"1_CR18","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.tcs.2015.06.031","volume":"606","author":"C Olarte","year":"2015","unstructured":"Olarte, C., Pimentel, E., Nigam, V.: Subexponential concurrent constraint programming. TCS 606, 98\u2013120 (2015)","journal-title":"TCS"},{"key":"1_CR19","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: BioConcur: Workshop on Concurrent Models in Molecular Biology. Electronic Notes in TCS (2004)"},{"key":"1_CR20","unstructured":"Reed, J.: Hybridizing a logical framework. In: International Workshop on Hybrid Logic (HyLo), Seattle, USA, August 2006"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45177-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T05:38:32Z","timestamp":1568353112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45177-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319451763","9783319451770"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45177-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}