Frittaion, Emanuele; Pelupessy, Florian; Steila, Silvia; Yokoyama, Keita The strength of SCT soundness. (English) Zbl 1445.03009 J. Log. Comput. 28, No. 6, 1217-1242 (2018). MSC: 03B30 03F35 05D10 PDFBibTeX XMLCite \textit{E. Frittaion} et al., J. Log. Comput. 28, No. 6, 1217--1242 (2018; Zbl 1445.03009) Full Text: DOI arXiv
Hashimoto, Atsushi; Nagao, Atsuki; Okuda, Satoru Topological graph description of multicellular dynamics based on vertex model. (English) Zbl 1394.92032 J. Theor. Biol. 437, 187-201 (2018). MSC: 92C37 92C42 05C90 PDFBibTeX XMLCite \textit{A. Hashimoto} et al., J. Theor. Biol. 437, 187--201 (2018; Zbl 1394.92032) Full Text: DOI
Zhang, Chi; Tam, Sakirin; Zhou, Kai-Qing; Yue, Xiao-Bo Research on workflow model based on Petri net with reset arcs. (English) Zbl 1308.90065 Cao, Bing-Yuan (ed.) et al., Fuzzy information and engineering and operations research and management. Based on the presentations at the 6th international conference, ICFIE 2012, Babolsar, Iran, October 25–26, 2012 and at the 6th academic conference on fuzzy information and engineering branch of Operation Research Society of China (FIEBORSC 2012), Shenzhen, China, December 18–24, 2012. Berlin: Springer (ISBN 978-3-642-38666-4/pbk; 978-3-642-38667-1/ebook). Advances in Intelligent Systems and Computing 211, 449-456 (2014). MSC: 90B30 68Qxx 05C90 PDFBibTeX XMLCite \textit{C. Zhang} et al., Adv. Intell. Syst. Comput. 211, 449--456 (2014; Zbl 1308.90065) Full Text: DOI
Hughes, Dominic J. D. Proofs without syntax. (English) Zbl 1130.03009 Ann. Math. (2) 164, No. 3, 1065-1076 (2006). MSC: 03B05 03F07 05C15 05C70 05C75 PDFBibTeX XMLCite \textit{D. J. D. Hughes}, Ann. Math. (2) 164, No. 3, 1065--1076 (2006; Zbl 1130.03009) Full Text: DOI arXiv Euclid
Paz, Azaria; Pearl, Judea; Ur, Shmuel A new characterization of graphs based on interception relations. (English) Zbl 0859.05066 J. Graph Theory 22, No. 2, 125-136 (1996). Reviewer: S.L.Bezrukov (Paderborn) MSC: 05C75 68R10 03B30 PDFBibTeX XMLCite \textit{A. Paz} et al., J. Graph Theory 22, No. 2, 125--136 (1996; Zbl 0859.05066) Full Text: DOI
Lapidot, Dror; Shamir, Adi A one-round, two-prover, zero-knowledge protocol for NP. (English) Zbl 0764.68042 Advances in cryptology, Proc. Conf., CRYPTO ’91, Santa Barbara/CA (USA) 1991, Lect. Notes Comput. Sci. 576, 213-224 (1992). MSC: 68Q15 94A60 05C35 PDFBibTeX XMLCite \textit{D. Lapidot} and \textit{A. Shamir}, Lect. Notes Comput. Sci. 576, 213--224 (1992; Zbl 0764.68042)