Dinur, Irit; Harsha, Prahladh; Kaufman, Tali; Ron-Zewi, Noga From local to robust testing via agreement testing. (English) Zbl 07563814 Theory Comput. 18, Paper No. 12, 25 p. (2022). MSC: 68Qxx 68Q87 PDF BibTeX XML Cite \textit{I. Dinur} et al., Theory Comput. 18, Paper No. 12, 25 p. (2022; Zbl 07563814) Full Text: DOI OpenURL
Deng, Yuxin; Feng, Yuan Formal semantics of a classical-quantum language. (English) Zbl 1483.68076 Theor. Comput. Sci. 913, 73-93 (2022). MSC: 68N30 03B70 68Q55 81P68 PDF BibTeX XML Cite \textit{Y. Deng} and \textit{Y. Feng}, Theor. Comput. Sci. 913, 73--93 (2022; Zbl 1483.68076) Full Text: DOI OpenURL
Marti, Johannes; Venema, Yde A focus system for the alternation-free \(\mu \)-calculus. (English) Zbl 07532527 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 371-388 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{J. Marti} and \textit{Y. Venema}, Lect. Notes Comput. Sci. 12842, 371--388 (2021; Zbl 07532527) Full Text: DOI OpenURL
Ghoshal, Ashrujit; Tessaro, Stefano Tight state-restoration soundness in the algebraic group model. (English) Zbl 1487.94116 Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12827, 64-93 (2021). MSC: 94A60 PDF BibTeX XML Cite \textit{A. Ghoshal} and \textit{S. Tessaro}, Lect. Notes Comput. Sci. 12827, 64--93 (2021; Zbl 1487.94116) Full Text: DOI OpenURL
From, Asta Halkjær; Eschen, Agnes Moesgård; Villadsen, Jørgen Formalizing axiomatic systems for propositional logic in Isabelle/HOL. (English) Zbl 1485.68292 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 32-46 (2021). MSC: 68V20 03B05 03B20 PDF BibTeX XML Cite \textit{A. H. From} et al., Lect. Notes Comput. Sci. 12833, 32--46 (2021; Zbl 1485.68292) Full Text: DOI OpenURL
Chia, Nai-Hui; Chung, Kai-Min; Yamakawa, Takashi A black-box approach to post-quantum zero-knowledge in constant rounds. (English) Zbl 1486.94089 Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12825, 315-345 (2021). Reviewer: Jaak Henno (Tallinn) MSC: 94A60 81P94 68P25 PDF BibTeX XML Cite \textit{N.-H. Chia} et al., Lect. Notes Comput. Sci. 12825, 315--345 (2021; Zbl 1486.94089) Full Text: DOI OpenURL
Felli, Paolo; de Leoni, Massimiliano; Montali, Marco Soundness verification of data-aware process models with variable-to-variable conditions. (English) Zbl 07467823 Fundam. Inform. 182, No. 1, 1-29 (2021). MSC: 68-XX 68-XX PDF BibTeX XML Cite \textit{P. Felli} et al., Fundam. Inform. 182, No. 1, 1--29 (2021; Zbl 07467823) Full Text: DOI OpenURL
Fischlin, Marc; Rohrbach, Felix Single-to-multi-theorem transformations for non-interactive statistical zero-knowledge. (English) Zbl 1479.94170 Garay, Juan A. (ed.), Public-key cryptography – PKC 2021. 24th IACR international conference on practice and theory of public key cryptography, virtual event, May 10–13, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12711, 205-234 (2021). MSC: 94A60 PDF BibTeX XML Cite \textit{M. Fischlin} and \textit{F. Rohrbach}, Lect. Notes Comput. Sci. 12711, 205--234 (2021; Zbl 1479.94170) Full Text: DOI OpenURL
Hodes, Harold T. One-step modal logics, intuitionistic and classical. I. (English) Zbl 07420136 J. Philos. Log. 50, No. 5, 837-872 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{H. T. Hodes}, J. Philos. Log. 50, No. 5, 837--872 (2021; Zbl 07420136) Full Text: DOI OpenURL
Fjellstad, Andreas; Olsen, Jan-Fredrik \(\mathrm{IKT}^\omega\) and Łukasiewicz-models. (English) Zbl 07391974 Notre Dame J. Formal Logic 62, No. 2, 247-256 (2021). MSC: 03B47 03C75 03C90 PDF BibTeX XML Cite \textit{A. Fjellstad} and \textit{J.-F. Olsen}, Notre Dame J. Formal Logic 62, No. 2, 247--256 (2021; Zbl 07391974) Full Text: DOI arXiv OpenURL
Corradini, Flavio; Morichetta, Andrea; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations. (English) Zbl 1458.90393 J. Log. Algebr. Methods Program. 119, Article ID 100630, 41 p. (2021). MSC: 90B50 90B70 PDF BibTeX XML Cite \textit{F. Corradini} et al., J. Log. Algebr. Methods Program. 119, Article ID 100630, 41 p. (2021; Zbl 1458.90393) Full Text: DOI OpenURL
Liu, Xinxin; Yu, Tingting Canonical solutions to recursive equations and completeness of equational axiomatisations. (English) Zbl 07559491 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{X. Liu} and \textit{T. Yu}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020; Zbl 07559491) Full Text: DOI OpenURL
Welch, John R. Credence for conclusions: a brief for Jeffrey’s rule. (English) Zbl 1475.62081 Synthese 197, No. 5, 2051-2072 (2020). MSC: 62A01 60A05 62C10 PDF BibTeX XML Cite \textit{J. R. Welch}, Synthese 197, No. 5, 2051--2072 (2020; Zbl 1475.62081) Full Text: DOI OpenURL
Sotoudeh, Matthew; Thakur, Aditya V. Abstract neural networks. (English) Zbl 1474.68193 Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 65-88 (2020). MSC: 68Q60 68Q06 68T07 PDF BibTeX XML Cite \textit{M. Sotoudeh} and \textit{A. V. Thakur}, Lect. Notes Comput. Sci. 12389, 65--88 (2020; Zbl 1474.68193) Full Text: DOI arXiv OpenURL
Kashima, Ryo; Matsuda, Naosuke; Yuyama, Takao Term-space semantics of typed lambda calculus. (English) Zbl 1486.03032 Notre Dame J. Formal Logic 61, No. 4, 591-600 (2020). MSC: 03B40 PDF BibTeX XML Cite \textit{R. Kashima} et al., Notre Dame J. Formal Logic 61, No. 4, 591--600 (2020; Zbl 1486.03032) Full Text: DOI OpenURL
Sakai, Hiroshi; Nakata, Michinori; Watada, Junzo NIS-apriori-based rule generation with three-way decisions and its application system in SQL. (English) Zbl 1456.68201 Inf. Sci. 507, 755-771 (2020). MSC: 68T37 68P15 PDF BibTeX XML Cite \textit{H. Sakai} et al., Inf. Sci. 507, 755--771 (2020; Zbl 1456.68201) Full Text: DOI OpenURL
Andrade Guzmán, Jesús Mauricio; Hernández Quiroz, Francisco Natural deduction and semantic models of justification logic in the proof assistant Coq. (English) Zbl 1477.03032 Log. J. IGPL 28, No. 6, 1077-1092 (2020). MSC: 03B35 03B42 03B45 68V15 PDF BibTeX XML Cite \textit{J. M. Andrade Guzmán} and \textit{F. Hernández Quiroz}, Log. J. IGPL 28, No. 6, 1077--1092 (2020; Zbl 1477.03032) Full Text: DOI OpenURL
Niki, Satoru; Schuster, Peter On Scott’s semantics for many-valued logic. (English) Zbl 07285869 J. Log. Comput. 30, No. 6, 1291-1302 (2020). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{S. Niki} and \textit{P. Schuster}, J. Log. Comput. 30, No. 6, 1291--1302 (2020; Zbl 07285869) Full Text: DOI OpenURL
Dagnino, Francesco; Ancona, Davide; Zucca, Elena Flexible coinductive logic programming. (English) Zbl 1468.68054 Theory Pract. Log. Program. 20, No. 6, 818-833 (2020). MSC: 68N17 68Q55 PDF BibTeX XML Cite \textit{F. Dagnino} et al., Theory Pract. Log. Program. 20, No. 6, 818--833 (2020; Zbl 1468.68054) Full Text: DOI arXiv OpenURL
Djordjević, Radosav; Ikodinović, Nebojša; Stojanović, Nenad A propositional metric logic with fixed finite ranges. (English) Zbl 07274642 Fundam. Inform. 174, No. 2, 185-199 (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{R. Djordjević} et al., Fundam. Inform. 174, No. 2, 185--199 (2020; Zbl 07274642) Full Text: DOI OpenURL
Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savić, Nenad Towards probabilistic reasoning in type theory – the intersection type case. (English) Zbl 07266049 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 122-139 (2020). MSC: 68P15 68T27 68T35 68U35 PDF BibTeX XML Cite \textit{S. Ghilezan} et al., Lect. Notes Comput. Sci. 12012, 122--139 (2020; Zbl 07266049) Full Text: DOI OpenURL
Cohen, Liron; Rowe, Reuben N. S. Non-well-founded proof theory of transitive closure logic. (English) Zbl 1446.03031 ACM Trans. Comput. Log. 21, No. 4, Article No. 31, 31 p. (2020). MSC: 03B35 03B70 03B60 03F03 03F07 PDF BibTeX XML Cite \textit{L. Cohen} and \textit{R. N. S. Rowe}, ACM Trans. Comput. Log. 21, No. 4, Article No. 31, 31 p. (2020; Zbl 1446.03031) Full Text: DOI OpenURL
Abrahamsson, Oskar A verified proof checker for higher-order logic. (English) Zbl 1433.68527 J. Log. Algebr. Methods Program. 112, Article ID 100530, 19 p. (2020). MSC: 68V15 03B16 PDF BibTeX XML Cite \textit{O. Abrahamsson}, J. Log. Algebr. Methods Program. 112, Article ID 100530, 19 p. (2020; Zbl 1433.68527) Full Text: DOI OpenURL
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Completeness theorems for \(\sigma \)-additive probabilistic semantics. (English) Zbl 1452.03064 Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020). Reviewer: Jürgen Landes (München) MSC: 03B48 03B42 03C10 PDF BibTeX XML Cite \textit{N. Ikodinović} et al., Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020; Zbl 1452.03064) Full Text: DOI OpenURL
Bana, Gergei; Chadha, Rohit; Eeralla, Ajay Kumar; Okada, Mitsuhiro Verification methods for the computationally complete symbolic attacker based on indistinguishability. (English) Zbl 1433.68075 ACM Trans. Comput. Log. 21, No. 1, Article No. 2, 44 p. (2020). MSC: 68M25 94A60 PDF BibTeX XML Cite \textit{G. Bana} et al., ACM Trans. Comput. Log. 21, No. 1, Article No. 2, 44 p. (2020; Zbl 1433.68075) Full Text: DOI OpenURL
Nikitchenko, Mykola; Shkilniak, Oksana; Shkilniak, Stepan; Mamedov, Tohrul Completeness of the first-order logic of partial quasiary predicates with the complement composition. (English) Zbl 1446.03066 Comput. Sci. J. Mold. 27, No. 2(80), 162-187 (2019). MSC: 03B70 03B10 PDF BibTeX XML Cite \textit{M. Nikitchenko} et al., Comput. Sci. J. Mold. 27, No. 2(80), 162--187 (2019; Zbl 1446.03066) Full Text: Link OpenURL
Witczak, Tomasz Topological and multi-topological frames in the context of intuitionistic modal logic. (English) Zbl 1446.03044 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 3, 187-205 (2019). MSC: 03B45 03B20 54A10 PDF BibTeX XML Cite \textit{T. Witczak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 3, 187--205 (2019; Zbl 1446.03044) Full Text: DOI OpenURL
Shapiro, Stewart Inconsistency and incompleteness, revisited. (English) Zbl 1469.03027 Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer. Outst. Contrib. Log. 18, 469-479 (2019). MSC: 03A05 03B53 03F40 PDF BibTeX XML Cite \textit{S. Shapiro}, Outst. Contrib. Log. 18, 469--479 (2019; Zbl 1469.03027) Full Text: DOI OpenURL
Abe, Masayuki; Jutla, Charanjit S.; Ohkubo, Miyako; Pan, Jiaxin; Roy, Arnab; Wang, Yuyu Shorter QA-NIZK and SPS with tighter security. (English) Zbl 1456.94040 Galbraith, Steven D. (ed.) et al., Advances in cryptology – ASIACRYPT 2019. 25th international conference on the theory and application of cryptology and information security, Kobe, Japan, December 8–12, 2019. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 11923, 669-699 (2019). MSC: 94A60 PDF BibTeX XML Cite \textit{M. Abe} et al., Lect. Notes Comput. Sci. 11923, 669--699 (2019; Zbl 1456.94040) Full Text: DOI OpenURL
Zhao, Liang; Wang, Xiaobing; Shu, Xinfeng; Zhang, Nan A proof system for a unified temporal logic. (English) Zbl 07172878 Du, Ding-Zhu (ed.) et al., Computing and combinatorics. 25th international conference, COCOON 2019, Xi’an, China, July 29–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11653, 663-676 (2019). MSC: 68Rxx PDF BibTeX XML Cite \textit{L. Zhao} et al., Lect. Notes Comput. Sci. 11653, 663--676 (2019; Zbl 07172878) Full Text: DOI OpenURL
Micciancio, Daniele Symbolic encryption with pseudorandom keys. (English) Zbl 07162724 Ishai, Yuval (ed.) et al., Advances in cryptology – EUROCRYPT 2019. 38th annual international conference on the theory and applications of cryptographic techniques, Darmstadt, Germany, May 19–23, 2019. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 11478, 64-93 (2019). MSC: 94A60 PDF BibTeX XML Cite \textit{D. Micciancio}, Lect. Notes Comput. Sci. 11478, 64--93 (2019; Zbl 07162724) Full Text: DOI OpenURL
Downen, Paul; Ariola, Zena M.; Ghilezan, Silvia The duality of classical intersection and union types. (English) Zbl 1446.03034 Fundam. Inform. 170, No. 1-3, 39-92 (2019). MSC: 03B40 68N18 PDF BibTeX XML Cite \textit{P. Downen} et al., Fundam. Inform. 170, No. 1--3, 39--92 (2019; Zbl 1446.03034) Full Text: DOI OpenURL
Bisquert, Pierre; Dupin de Saint-Cyr, Florence; Besnard, Philippe Assessing arguments with schemes and fallacies. (English) Zbl 07115966 Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 61-74 (2019). MSC: 68N17 68T27 PDF BibTeX XML Cite \textit{P. Bisquert} et al., Lect. Notes Comput. Sci. 11481, 61--74 (2019; Zbl 07115966) Full Text: DOI Link OpenURL
Bernot, G.; Comet, J.-P.; Khalis, Z.; Richard, A.; Roux, O. A genetically modified Hoare logic. (English) Zbl 1423.68163 Theor. Comput. Sci. 765, 145-157 (2019). MSC: 68Q05 03B70 92C42 PDF BibTeX XML Cite \textit{G. Bernot} et al., Theor. Comput. Sci. 765, 145--157 (2019; Zbl 1423.68163) Full Text: DOI arXiv OpenURL
Han, Shuai; Liu, Shengli; Lyu, Lin QANIZK for adversary-dependent languages and their applications. (English) Zbl 1455.94164 Theor. Comput. Sci. 779, 47-71 (2019). MSC: 94A60 94A62 68Q45 68P25 PDF BibTeX XML Cite \textit{S. Han} et al., Theor. Comput. Sci. 779, 47--71 (2019; Zbl 1455.94164) Full Text: DOI OpenURL
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob A higher-order calculus of computational fields. (English) Zbl 1407.68326 ACM Trans. Comput. Log. 20, No. 1, Article No. 5, 55 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. Audrito} et al., ACM Trans. Comput. Log. 20, No. 1, Article No. 5, 55 p. (2019; Zbl 1407.68326) Full Text: DOI arXiv OpenURL
Boričić, Marija Sequent calculus for classical logic probabilized. (English) Zbl 1446.03047 Arch. Math. Logic 58, No. 1-2, 119-136 (2019). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B48 03B50 03F03 PDF BibTeX XML Cite \textit{M. Boričić}, Arch. Math. Logic 58, No. 1--2, 119--136 (2019; Zbl 1446.03047) Full Text: DOI OpenURL
Cohen, Liron; Rowe, Reuben N. S. Uniform inductive reasoning in transitive closure logic via infinite descent. (English) Zbl 07533342 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 17, 16 p. (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{L. Cohen} and \textit{R. N. S. Rowe}, LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 17, 16 p. (2018; Zbl 07533342) Full Text: DOI OpenURL
Jensen, Alexander Birch; Larsen, John Bruntse; Schlichtkrull, Anders; Villadsen, Jørgen Programming and verifying a declarative first-order prover in Isabelle/HOL. (English) Zbl 1462.68214 AI Commun. 31, No. 3, 281-299 (2018). MSC: 68V15 68N18 PDF BibTeX XML Cite \textit{A. B. Jensen} et al., AI Commun. 31, No. 3, 281--299 (2018; Zbl 1462.68214) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{E. Frittaion} et al., J. Log. Comput. 28, No. 6, 1217--1242 (2018; Zbl 1445.03009) Full Text: DOI arXiv OpenURL
Deng, Shaobo; Guan, Sujie; Li, Min; Wang, Lei; Sui, Yuefei Decomposition for a new kind of imprecise information system. (English) Zbl 1405.68432 Front. Comput. Sci. 12, No. 2, 376-395 (2018). MSC: 68U35 PDF BibTeX XML Cite \textit{S. Deng} et al., Front. Comput. Sci. 12, No. 2, 376--395 (2018; Zbl 1405.68432) Full Text: DOI OpenURL
Abe, Masayuki; Jutla, Charanjit S.; Ohkubo, Miyako; Roy, Arnab Improved (almost) tightly-secure simulation-sound QA-NIZK with applications. (English) Zbl 1446.94093 Peyrin, Thomas (ed.) et al., Advances in cryptology – ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2–6, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11272, 627-656 (2018). MSC: 94A60 PDF BibTeX XML Cite \textit{M. Abe} et al., Lect. Notes Comput. Sci. 11272, 627--656 (2018; Zbl 1446.94093) Full Text: DOI OpenURL
Docherty, Simon; Pym, David Intuitionistic layered graph logic: semantics and proof theory. (English) Zbl 1454.03030 Log. Methods Comput. Sci. 14, No. 4, Paper No. 11, 36 p. (2018). MSC: 03B47 03B20 03F03 PDF BibTeX XML Cite \textit{S. Docherty} and \textit{D. Pym}, Log. Methods Comput. Sci. 14, No. 4, Paper No. 11, 36 p. (2018; Zbl 1454.03030) Full Text: DOI arXiv OpenURL
Safari, Parvin; Salehi, Saeed Kripke semantics for fuzzy logics. (English) Zbl 1398.03131 Soft Comput. 22, No. 3, 839-844 (2018). MSC: 03B52 PDF BibTeX XML Cite \textit{P. Safari} and \textit{S. Salehi}, Soft Comput. 22, No. 3, 839--844 (2018; Zbl 1398.03131) Full Text: DOI arXiv OpenURL
Schlichtkrull, Anders Formalization of the resolution calculus for first-order logic. (English) Zbl 1451.03019 J. Autom. Reasoning 61, No. 1-4, 455-484 (2018). MSC: 03B35 68V15 PDF BibTeX XML Cite \textit{A. Schlichtkrull}, J. Autom. Reasoning 61, No. 1--4, 455--484 (2018; Zbl 1451.03019) Full Text: DOI Link OpenURL
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 PDF BibTeX XML Cite \textit{A. Hashimoto} et al., J. Theor. Biol. 437, 187--201 (2018; Zbl 1394.92032) Full Text: DOI OpenURL
Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savić, Nenad Probabilistic reasoning about simply typed lambda terms. (English) Zbl 06856645 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10703, 170-189 (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{S. Ghilezan} et al., Lect. Notes Comput. Sci. 10703, 170--189 (2018; Zbl 06856645) Full Text: DOI OpenURL
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor Soundness in negotiations. (English) Zbl 1459.68141 Log. Methods Comput. Sci. 14, No. 1, Paper No. 4, 29 p. (2018). MSC: 68Q85 68Q10 68Q25 PDF BibTeX XML Cite \textit{J. Esparza} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 4, 29 p. (2018; Zbl 1459.68141) Full Text: DOI arXiv OpenURL
Lipmaa, Helger Optimally sound sigma protocols under DCRA. (English) Zbl 1460.94053 Kiayias, Aggelos (ed.), Financial cryptography and data security. 21st international conference, FC 2017, Sliema, Malta, April 3–7, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10322, 182-203 (2017). MSC: 94A60 68P25 PDF BibTeX XML Cite \textit{H. Lipmaa}, Lect. Notes Comput. Sci. 10322, 182--203 (2017; Zbl 1460.94053) Full Text: DOI OpenURL
Li, Wei; Sui, Yuefei The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\). (English) Zbl 1404.03022 Front. Comput. Sci. 11, No. 5, 887-894 (2017). MSC: 03B50 PDF BibTeX XML Cite \textit{W. Li} and \textit{Y. Sui}, Front. Comput. Sci. 11, No. 5, 887--894 (2017; Zbl 1404.03022) Full Text: DOI OpenURL
Jouannaud, Jean-Pierre; Strub, Pierre-Yves Coq without type casts: a complete proof of Coq Modulo Theory. (English) Zbl 1403.68227 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 474-489 (2017). MSC: 68T15 PDF BibTeX XML Cite \textit{J.-P. Jouannaud} and \textit{P.-Y. Strub}, EPiC Ser. Comput. 46, 474--489 (2017; Zbl 1403.68227) Full Text: DOI OpenURL
Alaqeeli, Omar; Wadge, William The monadic hybrid calculus. (English) Zbl 1398.03083 J. Appl. Non-Class. Log. 27, No. 1-2, 33-49 (2017). MSC: 03B45 03B10 03B60 PDF BibTeX XML Cite \textit{O. Alaqeeli} and \textit{W. Wadge}, J. Appl. Non-Class. Log. 27, No. 1--2, 33--49 (2017; Zbl 1398.03083) Full Text: DOI OpenURL
Herberlin, Hugo; Kim, Sun Young; Lee, Gyesik Formalizing the meta-theory of first-order predicate logic. (English) Zbl 06853522 J. Korean Math. Soc. 54, No. 5, 1521-1536 (2017). MSC: 03F03 03F05 03F30 PDF BibTeX XML Cite \textit{H. Herberlin} et al., J. Korean Math. Soc. 54, No. 5, 1521--1536 (2017; Zbl 06853522) Full Text: DOI OpenURL
Amin, Nada; Rompf, Tiark Type soundness proofs with definitional interpreters. (English) Zbl 1380.68111 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 666-679 (2017). MSC: 68N30 03B70 68T15 PDF BibTeX XML Cite \textit{N. Amin} and \textit{T. Rompf}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 666--679 (2017; Zbl 1380.68111) Full Text: DOI OpenURL
Nikitchenko, Mykola; Skilniak, Stepan Algebras and logics of partial quasiary predicates. (English) Zbl 1431.03079 Algebra Discrete Math. 23, No. 2, 263-278 (2017). MSC: 03G25 03B70 PDF BibTeX XML Cite \textit{M. Nikitchenko} and \textit{S. Skilniak}, Algebra Discrete Math. 23, No. 2, 263--278 (2017; Zbl 1431.03079) OpenURL
Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko On the preciseness of subtyping in session types. (English) Zbl 1398.68360 Log. Methods Comput. Sci. 13, No. 2, Paper No. 12, 61 p. (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{T.-C. Chen} et al., Log. Methods Comput. Sci. 13, No. 2, Paper No. 12, 61 p. (2017; Zbl 1398.68360) Full Text: DOI arXiv OpenURL
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy Soundness and completeness proofs by coinductive methods. (English) Zbl 1409.68251 J. Autom. Reasoning 58, No. 1, 149-179 (2017). MSC: 68T15 03B10 03B35 03F03 68Q65 PDF BibTeX XML Cite \textit{J. C. Blanchette} et al., J. Autom. Reasoning 58, No. 1, 149--179 (2017; Zbl 1409.68251) Full Text: DOI Link OpenURL
Soares, Pedro; Ravara, António; Melo de Sousa, Simão Revisiting concurrent separation logic. (English) Zbl 1370.68056 J. Log. Algebr. Methods Program. 89, 41-66 (2017). MSC: 68N30 03B70 68Q55 PDF BibTeX XML Cite \textit{P. Soares} et al., J. Log. Algebr. Methods Program. 89, 41--66 (2017; Zbl 1370.68056) Full Text: DOI arXiv OpenURL
Engelmann, Björn; Olderog, Ernst-Rüdiger A sound and complete Hoare logic for dynamically-typed, object-oriented programs. (English) Zbl 1475.68085 Ábrahám, Erika (ed.) et al., Theory and practice of formal methods. Essays dedicated to Frank de Boer on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9660, 173-193 (2016). MSC: 68N30 03B70 68N19 68Q55 68Q60 PDF BibTeX XML Cite \textit{B. Engelmann} and \textit{E.-R. Olderog}, Lect. Notes Comput. Sci. 9660, 173--193 (2016; Zbl 1475.68085) Full Text: DOI arXiv OpenURL
Bergstra, J. A.; Middelburg, C. A. A Hoare-like logic of asserted single-pass instruction sequences. (English) Zbl 1424.68033 Sci. Ann. Comput. Sci. 26, No. 2, 125-156 (2016). MSC: 68N30 03B70 68Q60 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Sci. Ann. Comput. Sci. 26, No. 2, 125--156 (2016; Zbl 1424.68033) Full Text: DOI arXiv OpenURL
Ghari, Meghdad Pavelka-style fuzzy justification logics. (English) Zbl 1405.03040 Log. J. IGPL 24, No. 5, 743-773 (2016). MSC: 03B42 03B52 PDF BibTeX XML Cite \textit{M. Ghari}, Log. J. IGPL 24, No. 5, 743--773 (2016; Zbl 1405.03040) Full Text: DOI OpenURL
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor Soundness in negotiations. (English) Zbl 1392.68298 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 12, 13 p. (2016). MSC: 68Q85 68Q10 68Q25 PDF BibTeX XML Cite \textit{J. Esparza} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 12, 13 p. (2016; Zbl 1392.68298) Full Text: DOI OpenURL
Wu, Hengyang; Deng, Yuxin Logical characterizations of simulation and bisimulation for fuzzy transition systems. (English) Zbl 1378.68121 Fuzzy Sets Syst. 301, 19-36 (2016). MSC: 68Q85 68T27 68T37 PDF BibTeX XML Cite \textit{H. Wu} and \textit{Y. Deng}, Fuzzy Sets Syst. 301, 19--36 (2016; Zbl 1378.68121) Full Text: DOI Link OpenURL
Castro-Manzano, J. Martín From diagrammatic to mechanical reasoning: the case of syllogistic. (English) Zbl 1402.03024 Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications (ISBN 978-1-84890-213-8/pbk). 57-69 (2016). MSC: 03B35 03B60 03A05 PDF BibTeX XML Cite \textit{J. M. Castro-Manzano}, in: The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15--19, 2015. London: College Publications. 57--69 (2016; Zbl 1402.03024) OpenURL
Boričić, Marija Inference rules for probability logic. (English) Zbl 1474.03078 Publ. Inst. Math., Nouv. Sér. 100(114), 77-86 (2016). MSC: 03B48 03B50 PDF BibTeX XML Cite \textit{M. Boričić}, Publ. Inst. Math., Nouv. Sér. 100(114), 77--86 (2016; Zbl 1474.03078) Full Text: DOI EMIS OpenURL
Desel, Jörg; Esparza, Javier Negotiations and Petri nets. (English) Zbl 1366.68203 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XI. Berlin: Springer (ISBN 978-3-662-53400-7/pbk; 978-3-662-53401-4/ebook). Lecture Notes in Computer Science 9930. Journal Subline, 203-225 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Desel} and \textit{J. Esparza}, Lect. Notes Comput. Sci. 9930, 203--225 (2016; Zbl 1366.68203) Full Text: DOI OpenURL
Litland, Jon Erling Pure logic of many-many ground. (English) Zbl 1392.03013 J. Philos. Log. 45, No. 5, 531-577 (2016). MSC: 03A05 03B60 PDF BibTeX XML Cite \textit{J. E. Litland}, J. Philos. Log. 45, No. 5, 531--577 (2016; Zbl 1392.03013) Full Text: DOI OpenURL
Markin, Vladimir Ilyich The interpretation of categorical propositions in terms of relevant entailment. (Russian. English summary) Zbl 1392.03031 Log. Issled. 22, No. 1, 70-81 (2016). MSC: 03B47 03B20 PDF BibTeX XML Cite \textit{V. I. Markin}, Log. Issled. 22, No. 1, 70--81 (2016; Zbl 1392.03031) OpenURL
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran Probability logics. Probability-based formalization of uncertain reasoning. (English) Zbl 1371.03001 Cham: Springer (ISBN 978-3-319-47011-5/hbk; 978-3-319-47012-2/ebook). xi, 215 p. (2016). Reviewer: Jürgen Landes (München) MSC: 03-02 03B48 60A05 68T37 PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., Probability logics. Probability-based formalization of uncertain reasoning. Cham: Springer (2016; Zbl 1371.03001) Full Text: DOI OpenURL
Schlichtkrull, Anders Formalization of the resolution calculus for first-order logic. (English) Zbl 1478.68442 Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 341-357 (2016). MSC: 68V20 03B10 03B35 68V15 PDF BibTeX XML Cite \textit{A. Schlichtkrull}, Lect. Notes Comput. Sci. 9807, 341--357 (2016; Zbl 1478.68442) Full Text: DOI Link OpenURL
Lorenzen, Florian; Erdweg, Sebastian Sound type-dependent syntactic language extension. (English) Zbl 1347.68088 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 204-216 (2016). MSC: 68N30 68N15 68N20 PDF BibTeX XML Cite \textit{F. Lorenzen} and \textit{S. Erdweg}, in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 204--216 (2016; Zbl 1347.68088) Full Text: DOI Link OpenURL
Zhu, Wujia; Li, Wei; Sui, Yuefei; Luo, Jie Sound and complete Gentzen deduction system for intermediate propositional logic. (Chinese. English summary) Zbl 1363.03012 J. Softw. 27, No. 2, 209-218 (2016). MSC: 03B55 03B05 PDF BibTeX XML Cite \textit{W. Zhu} et al., J. Softw. 27, No. 2, 209--218 (2016; Zbl 1363.03012) Full Text: DOI OpenURL
Van De Putte, Frederik Obligation as weakest permission: a strongly complete axiomatization. (English) Zbl 1391.03021 Rev. Symb. Log. 9, No. 2, 370-379 (2016). MSC: 03B45 PDF BibTeX XML Cite \textit{F. Van De Putte}, Rev. Symb. Log. 9, No. 2, 370--379 (2016; Zbl 1391.03021) Full Text: DOI OpenURL
Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas First steps towards probabilistic justification logic. (English) Zbl 1405.03057 Log. J. IGPL 23, No. 4, 662-687 (2015). MSC: 03B48 03B42 PDF BibTeX XML Cite \textit{I. Kokkinis} et al., Log. J. IGPL 23, No. 4, 662--687 (2015; Zbl 1405.03057) Full Text: DOI Link OpenURL
Yi, Liu; Yang, Xu; Xiaomei, Zhong Multi-ary \(\alpha\)-semantic resolution automated reasoning based on lattice-valued first-order logic \(\mathrm{LF}(X)\). (English) Zbl 1361.03011 J. Intell. Fuzzy Syst. 29, No. 4, 1581-1593 (2015). MSC: 03B35 68T15 03B52 PDF BibTeX XML Cite \textit{L. Yi} et al., J. Intell. Fuzzy Syst. 29, No. 4, 1581--1593 (2015; Zbl 1361.03011) Full Text: DOI OpenURL
Dean, Walter Arithmetical reflection and the provability of soundness. (English) Zbl 1380.03068 Philos. Math. (3) 23, No. 1, 31-64 (2015). MSC: 03F30 03A05 03F45 PDF BibTeX XML Cite \textit{W. Dean}, Philos. Math. (3) 23, No. 1, 31--64 (2015; Zbl 1380.03068) Full Text: DOI OpenURL
Cungen, Cao; Bo, Chen; Yuefei, Sui The \(B_{4}\)-valued propositional Belnap-Dunn logic. (English) Zbl 1352.03034 J. Intell. Fuzzy Syst. 28, No. 6, 2705-2713 (2015). MSC: 03B50 PDF BibTeX XML Cite \textit{C. Cungen} et al., J. Intell. Fuzzy Syst. 28, No. 6, 2705--2713 (2015; Zbl 1352.03034) Full Text: DOI OpenURL
Sroka, Jacek; Chrząstowski-Wachtel, Piotr; Hidders, Jan On generating hierarchical workflow nets and their extensions and verifying hierarchicality. (English) Zbl 1359.68227 Fundam. Inform. 141, No. 4, 367-398 (2015). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 68Q60 90B70 PDF BibTeX XML Cite \textit{J. Sroka} et al., Fundam. Inform. 141, No. 4, 367--398 (2015; Zbl 1359.68227) Full Text: DOI OpenURL
de Freitas, Renata; Viana, Petrucio Set Venn diagrams applied to inclusions and non-inclusions. (English) Zbl 1350.03016 J. Logic Lang. Inf. 24, No. 4, 457-485 (2015). MSC: 03B22 03B99 03E20 PDF BibTeX XML Cite \textit{R. de Freitas} and \textit{P. Viana}, J. Logic Lang. Inf. 24, No. 4, 457--485 (2015; Zbl 1350.03016) Full Text: DOI OpenURL
Libert, Benoît; Peters, Thomas; Joye, Marc; Yung, Moti Compactly hiding linear spans. Tightly secure constant-size simulation-sound QA-NIZK proofs and applications. (English) Zbl 1380.94112 Iwata, Tetsu (ed.) et al., Advances in cryptology – ASIACRYPT 2015. 21st international conference on the theory and application of cryptology and information security, Auckland, New Zealand, November 29 – December 3, 2015. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-48796-9/pbk; 978-3-662-48797-6/ebook). Lecture Notes in Computer Science 9452, 681-707 (2015). MSC: 94A60 PDF BibTeX XML Cite \textit{B. Libert} et al., Lect. Notes Comput. Sci. 9452, 681--707 (2015; Zbl 1380.94112) Full Text: DOI OpenURL
Davis, Jared; Myreen, Magnus O. The reflective Milawa theorem prover is sound (down to the machine code that runs it). (English) Zbl 1356.68186 J. Autom. Reasoning 55, No. 2, 117-183 (2015). MSC: 68T15 PDF BibTeX XML Cite \textit{J. Davis} and \textit{M. O. Myreen}, J. Autom. Reasoning 55, No. 2, 117--183 (2015; Zbl 1356.68186) Full Text: DOI OpenURL
Mateo, José Antonio; Srba, Jiří; Grund Sørensen, Mathias Soundness of timed-arc workflow nets in discrete and continuous-time semantics. (English) Zbl 1335.90051 Fundam. Inform. 140, No. 1, 89-121 (2015). MSC: 90B70 68Q60 68Q85 PDF BibTeX XML Cite \textit{J. A. Mateo} et al., Fundam. Inform. 140, No. 1, 89--121 (2015; Zbl 1335.90051) Full Text: DOI OpenURL
Ohata, Satsuya; Kawai, Yutaka; Matsuda, Takahiro; Hanaoka, Goichiro; Matsuura, Kanta Re-encryption verifiability: how to detect malicious activities of a proxy in proxy re-encryption. (English) Zbl 1382.94149 Nyberg, Kaisa (ed.), Topics in cryptology – CT-RSA 2015. The cryptographer’s track at the RSA conference 2015, San Francisco, CA, USA, April 20–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-16714-5/pbk; 978-3-319-16715-2/ebook). Lecture Notes in Computer Science 9048, 410-428 (2015). MSC: 94A60 PDF BibTeX XML Cite \textit{S. Ohata} et al., Lect. Notes Comput. Sci. 9048, 410--428 (2015; Zbl 1382.94149) Full Text: DOI OpenURL
Damiani, Ferruccio; Viroli, Mirko Type-based self-stabilisation for computational fields. (English) Zbl 1448.68336 Log. Methods Comput. Sci. 11, No. 4, Paper No. 21, 53 p. (2015). MSC: 68Q85 68N18 68Q55 PDF BibTeX XML Cite \textit{F. Damiani} and \textit{M. Viroli}, Log. Methods Comput. Sci. 11, No. 4, Paper No. 21, 53 p. (2015; Zbl 1448.68336) Full Text: DOI arXiv OpenURL
Chaidos, Pyrros; Groth, Jens Making Sigma-protocols non-interactive without random oracles. (English) Zbl 1345.94051 Katz, Jonathan (ed.), Public-key cryptography – PKC 2015. 18th IACR international conference on practice and theory in public-key cryptography, Gaithersburg, MD, USA, March 30 – April 1, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46446-5/pbk; 978-3-662-46447-2/ebook). Lecture Notes in Computer Science 9020, 650-670 (2015). MSC: 94A60 68P25 PDF BibTeX XML Cite \textit{P. Chaidos} and \textit{J. Groth}, Lect. Notes Comput. Sci. 9020, 650--670 (2015; Zbl 1345.94051) Full Text: DOI Link OpenURL
van Staden, Stephan On rely-guarantee reasoning. (English) Zbl 1432.68321 Hinze, Ralf (ed.) et al., Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9129, 30-49 (2015). MSC: 68Q85 68Q55 68V15 PDF BibTeX XML Cite \textit{S. van Staden}, Lect. Notes Comput. Sci. 9129, 30--49 (2015; Zbl 1432.68321) Full Text: DOI Link OpenURL
Haramaty, Elad; Ron-Zewi, Noga; Sudan, Madhu Absolutely sound testing of lifted codes. (English) Zbl 1337.68289 Theory Comput. 11, Paper No. 12, 299-338 (2015). MSC: 68W20 68P30 94B05 PDF BibTeX XML Cite \textit{E. Haramaty} et al., Theory Comput. 11, Paper No. 12, 299--338 (2015; Zbl 1337.68289) Full Text: DOI OpenURL
Piazza, Mario; Pulcini, Gabriele Strange case of Dr. soundness and Mr. consistency. (English) Zbl 1441.03008 Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications. 161-172 (2014). Reviewer: Jaime Gaspar (Kent) MSC: 03A05 03F25 03F30 PDF BibTeX XML Cite \textit{M. Piazza} and \textit{G. Pulcini}, in: The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17--21, 2013. London: College Publications. 161--172 (2014; Zbl 1441.03008) OpenURL
Boucheneb, Hanifa; Barkaoui, Kamel Partial order reduction for checking soundness of time workflow nets. (English) Zbl 1355.68189 Inf. Sci. 282, 261-276 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. Boucheneb} and \textit{K. Barkaoui}, Inf. Sci. 282, 261--276 (2014; Zbl 1355.68189) Full Text: DOI OpenURL
Lai, Junzuo; Li, Yingjiu; Deng, Robert H.; Weng, Jian; Guan, Chaowen; Yan, Qiang Towards semantically secure outsourcing of association rule mining on categorical data. (English) Zbl 1339.68225 Inf. Sci. 267, 267-286 (2014). MSC: 68T05 PDF BibTeX XML Cite \textit{J. Lai} et al., Inf. Sci. 267, 267--286 (2014; Zbl 1339.68225) Full Text: DOI OpenURL
Bashkin, Vladimir A.; Lomazova, Irina A. Decidability of \(k\)-soundness for workflow nets with an unbounded resource. (English) Zbl 1428.68195 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency IX. Berlin: Springer. Lect. Notes Comput. Sci. 8910, 1-18 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{V. A. Bashkin} and \textit{I. A. Lomazova}, Lect. Notes Comput. Sci. 8910, 1--18 (2014; Zbl 1428.68195) Full Text: DOI OpenURL
Yoneyama, Kazuki Computational soundness of asymmetric bilinear pairing-based protocols. (English) Zbl 1368.94136 Chow, Sherman S.M. (ed.) et al., Provable security. 8th international conference, ProvSec 2014, Hong Kong, China, October 9–10, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-12474-2/pbk). Lecture Notes in Computer Science 8782, 317-325 (2014). MSC: 94A60 68M12 PDF BibTeX XML Cite \textit{K. Yoneyama}, Lect. Notes Comput. Sci. 8782, 317--325 (2014; Zbl 1368.94136) Full Text: DOI OpenURL
Clempner, Julio An analytical method for well-formed workflow/Petri net verification of classical soundness. (English) Zbl 1309.93099 Int. J. Appl. Math. Comput. Sci. 24, No. 4, 931-939 (2014). MSC: 93C65 93D05 93C15 PDF BibTeX XML Cite \textit{J. Clempner}, Int. J. Appl. Math. Comput. Sci. 24, No. 4, 931--939 (2014; Zbl 1309.93099) Full Text: DOI OpenURL
Schwartz, Yehuda; Tourlakis, George On the proof-theory of a first-order extension of GL. (English) Zbl 1321.03075 Log. Log. Philos. 23, No. 3, 329-363 (2014). MSC: 03F03 03F05 03B45 PDF BibTeX XML Cite \textit{Y. Schwartz} and \textit{G. Tourlakis}, Log. Log. Philos. 23, No. 3, 329--363 (2014; Zbl 1321.03075) OpenURL
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 PDF BibTeX XML Cite \textit{C. Zhang} et al., Adv. Intell. Syst. Comput. 211, 449--456 (2014; Zbl 1308.90065) Full Text: DOI OpenURL
Voutsadakis, George Categorical abstract algebraic logic: cryptofibring of logical systems. (English) Zbl 1325.03081 Adv. Appl. Math. Sci. 13, No. 4, 155-193 (2014). MSC: 03G27 03G30 03B22 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Adv. Appl. Math. Sci. 13, No. 4, 155--193 (2014; Zbl 1325.03081) OpenURL
Liu, Muchun; Ai, Lingmei; Wei, Qing A model validation method based on standardized workflow net. (Chinese. English summary) Zbl 1313.68076 J. Shaanxi Norm. Univ., Nat. Sci. Ed. 42, No. 3, 15-19 (2014). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{M. Liu} et al., J. Shaanxi Norm. Univ., Nat. Sci. Ed. 42, No. 3, 15--19 (2014; Zbl 1313.68076) OpenURL
Kouzapas, Dimitrios; Yoshida, Nobuko Globally governed session semantics. (English) Zbl 1448.68344 Log. Methods Comput. Sci. 10, No. 4, Paper No. 20, 45 p. (2014). MSC: 68Q85 68Q55 68Q60 PDF BibTeX XML Cite \textit{D. Kouzapas} and \textit{N. Yoshida}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 20, 45 p. (2014; Zbl 1448.68344) Full Text: DOI OpenURL
Sun, Meiying; Deng, Shaobo; Chen, Bo; Cao, Cungen; Sui, Yuefei Formula-layered predicate modal logic. (Chinese. English summary) Zbl 1313.03007 J. Softw. 25, No. 5, 1014-1024 (2014). MSC: 03B45 PDF BibTeX XML Cite \textit{M. Sun} et al., J. Softw. 25, No. 5, 1014--1024 (2014; Zbl 1313.03007) Full Text: DOI OpenURL
Gyssens, Marc; Niepert, Mathias; Van Gucht, Dirk On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements. (English) Zbl 1371.68273 Inf. Process. Lett. 114, No. 11, 628-633 (2014). MSC: 68T37 68P15 PDF BibTeX XML Cite \textit{M. Gyssens} et al., Inf. Process. Lett. 114, No. 11, 628--633 (2014; Zbl 1371.68273) Full Text: DOI Link OpenURL