Cadavid-Aguilar, Natalia; González, Jesús Effective topological complexity of orientable-surface groups. (English) Zbl 07305094 Topology Appl. 290, Article ID 107575, 26 p. (2021). MSC: 20F10 20J06 55M30 55N25 68T40 68Q42 PDF BibTeX XML Cite \textit{N. Cadavid-Aguilar} and \textit{J. González}, Topology Appl. 290, Article ID 107575, 26 p. (2021; Zbl 07305094) Full Text: DOI
Kraus, Nicolai; von Raumer, Jakob Coherence via well-foundedness. Taming set-quotients in homotopy type theory. (English) Zbl 07299503 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 662-675 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{N. Kraus} and \textit{J. von Raumer}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 662--675 (2020; Zbl 07299503) Full Text: DOI
Hasegawa, Ryu A categorical reduction system for linear logic. (English) Zbl 07281443 Theory Appl. Categ. 35, 1833-1870 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B40 03G30 03F52 68Q42 PDF BibTeX XML Cite \textit{R. Hasegawa}, Theory Appl. Categ. 35, 1833--1870 (2020; Zbl 07281443) Full Text: Link
Burel, Guillaume; Bury, Guillaume; Cauderlier, Raphaël; Delahaye, David; Halmagrand, Pierre; Hermant, Olivier First-order automated reasoning with theories: when deduction modulo theory meets practice. (English) Zbl 07268893 J. Autom. Reasoning 64, No. 6, 1001-1050 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{G. Burel} et al., J. Autom. Reasoning 64, No. 6, 1001--1050 (2020; Zbl 07268893) Full Text: DOI
Jakubův, Jan; Kaliszyk, Cezary Relaxed weighted path order in theorem proving. (English) Zbl 07268451 Math. Comput. Sci. 14, No. 3, 657-670 (2020). MSC: 03B10 03B35 03B70 06A05 06A06 68T15 68-04 PDF BibTeX XML Cite \textit{J. Jakubův} and \textit{C. Kaliszyk}, Math. Comput. Sci. 14, No. 3, 657--670 (2020; Zbl 07268451) Full Text: DOI
Behr, Nicolas; Danos, Vincent; Garnier, Ilias Combinatorial conversion and moment bisimulation for stochastic rewriting systems. (English) Zbl 07226005 Log. Methods Comput. Sci. 16, No. 3, Paper No. 3, 45 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{N. Behr} et al., Log. Methods Comput. Sci. 16, No. 3, Paper No. 3, 45 p. (2020; Zbl 07226005) Full Text: Link arXiv
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narcisco Compositional specification in rewriting logic. (English) Zbl 1434.68301 Theory Pract. Log. Program. 20, No. 1, 44-98 (2020). MSC: 68Q60 03B70 68Q42 PDF BibTeX XML Cite \textit{Ó. Martín} et al., Theory Pract. Log. Program. 20, No. 1, 44--98 (2020; Zbl 1434.68301) Full Text: DOI
Fujita, Ken-etsu A formal system of reduction paths for parallel reduction. (English) Zbl 1433.68190 Theor. Comput. Sci. 813, 327-340 (2020). MSC: 68Q42 03B40 68R10 PDF BibTeX XML Cite \textit{K.-e. Fujita}, Theor. Comput. Sci. 813, 327--340 (2020; Zbl 1433.68190) Full Text: DOI
Dal Lago, Ugo; Vanoni, Gabriele On randomised strategies in the \(\lambda \)-calculus. (English) Zbl 07191310 Theor. Comput. Sci. 813, 100-116 (2020). MSC: 03B40 68Q42 PDF BibTeX XML Cite \textit{U. Dal Lago} and \textit{G. Vanoni}, Theor. Comput. Sci. 813, 100--116 (2020; Zbl 07191310) Full Text: DOI
Czajka, Łukasz An operational interpretation of coinductive types. (English) Zbl 07168147 Log. Methods Comput. Sci. 16, No. 1, Paper No. 11, 49 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{Ł. Czajka}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 11, 49 p. (2020; Zbl 07168147) Full Text: arXiv
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn Programming and symbolic computation in Maude. (English) Zbl 07161317 J. Log. Algebr. Methods Program. 110, Article ID 100497, 58 p. (2020). MSC: 68 PDF BibTeX XML Cite \textit{F. Durán} et al., J. Log. Algebr. Methods Program. 110, Article ID 100497, 58 p. (2020; Zbl 07161317) Full Text: DOI
Corwin, Nathan; Golan, Gili; Hermiller, Susan; Johnson, Ashley; Šunić, Zoran Autostackability of Thompson’s group \(F\). (English) Zbl 07146658 J. Algebra 545, 111-134 (2020). MSC: 20F10 20F65 68Q42 PDF BibTeX XML Cite \textit{N. Corwin} et al., J. Algebra 545, 111--134 (2020; Zbl 07146658) Full Text: DOI arXiv
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto Parameterized strategies specification in Maude. (English) Zbl 1444.68104 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 27-44 (2019). MSC: 68Q60 03B70 68Q42 PDF BibTeX XML Cite \textit{R. Rubio} et al., Lect. Notes Comput. Sci. 11563, 27--44 (2019; Zbl 1444.68104) Full Text: DOI
Ringeissen, Christophe Building and combining matching algorithms. (English) Zbl 1444.68089 Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 523-541 (2019). MSC: 68Q42 03B70 68W05 PDF BibTeX XML Cite \textit{C. Ringeissen}, Lect. Notes Comput. Sci. 11560, 523--541 (2019; Zbl 1444.68089) Full Text: DOI
Alpuente, María; Escobar, Santiago; Sapina, Julia; Ballis, Demis Symbolic analysis of Maude theories with Narval. (English) Zbl 1434.68214 Theory Pract. Log. Program. 19, No. 5-6, 874-890 (2019). MSC: 68Q42 68N15 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Theory Pract. Log. Program. 19, No. 5--6, 874--890 (2019; Zbl 1434.68214) Full Text: DOI
Makhlouf, Amani; Percebois, Christian; Tran, Hanh Nhi Two-level reasoning about graph transformation programs. (English) Zbl 1429.68043 Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 111-127 (2019). MSC: 68N30 68Q42 68T27 PDF BibTeX XML Cite \textit{A. Makhlouf} et al., Lect. Notes Comput. Sci. 11629, 111--127 (2019; Zbl 1429.68043) Full Text: DOI
Eeralla, Ajay K.; Erbatur, Serdar; Marshall, Andrew M.; Ringeissen, Christophe Rule-based unification in combined theories and the finite variant property. (English) Zbl 1425.68161 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 356-367 (2019). MSC: 68Q42 03B70 PDF BibTeX XML Cite \textit{A. K. Eeralla} et al., Lect. Notes Comput. Sci. 11417, 356--367 (2019; Zbl 1425.68161) Full Text: DOI
Muroya, Koko; Ghica, Dan R. The dynamic geometry of interaction machine: a token-guided graph rewriter. (English) Zbl 1442.68030 Log. Methods Comput. Sci. 15, No. 4, Paper No. 7, 32 p. (2019). MSC: 68N18 03B40 03F52 68Q42 PDF BibTeX XML Cite \textit{K. Muroya} and \textit{D. R. Ghica}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 7, 32 p. (2019; Zbl 1442.68030) Full Text: arXiv
Liu, Si; Ölveczky, Peter Csaba; Wang, Qi; Gupta, Indranil; Meseguer, José Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. (English) Zbl 1425.68096 Formal Asp. Comput. 31, No. 5, 503-540 (2019). MSC: 68P15 03B70 68Q42 68Q60 PDF BibTeX XML Cite \textit{S. Liu} et al., Formal Asp. Comput. 31, No. 5, 503--540 (2019; Zbl 1425.68096) Full Text: DOI
Alves, Sandra; Broda, Sabine Pre-grammars and inhabitation for a subset of rank 2 intersection types. (English) Zbl 1433.68185 Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 25-45 (2019). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{S. Alves} and \textit{S. Broda}, Electron. Notes Theor. Comput. Sci. 344, 25--45 (2019; Zbl 1433.68185) Full Text: DOI
Peng, Jiayin Pushdown automata and context-free grammars based on complete residuated lattice-valued logic. (Chinese. English summary) Zbl 1438.68065 J. Shandong Univ., Nat. Sci. 54, No. 5, 112-126 (2019). MSC: 68Q45 03B52 68Q42 PDF BibTeX XML Cite \textit{J. Peng}, J. Shandong Univ., Nat. Sci. 54, No. 5, 112--126 (2019; Zbl 1438.68065) Full Text: DOI
Hirokawa, Nao; Middeldorp, Aart; Sternagel, Christian; Winkler, Sarah Abstract completion, formalized. (English) Zbl 07104927 Log. Methods Comput. Sci. 15, No. 3, Paper No. 19, 42 p. (2019). MSC: 03B70 68 PDF BibTeX XML Cite \textit{N. Hirokawa} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 19, 42 p. (2019; Zbl 07104927) Full Text: arXiv
Behrisch, Mike; Vargas-García, Edith; Zhuk, Dmitriy The number of clones determined by disjunctions of unary relations. (English) Zbl 07101704 Theory Comput. Syst. 63, No. 6, 1298-1313 (2019). MSC: 08A 03B 68 68Q 68Q42 03B35 68-02 08A70 PDF BibTeX XML Cite \textit{M. Behrisch} et al., Theory Comput. Syst. 63, No. 6, 1298--1313 (2019; Zbl 07101704) Full Text: DOI
Bernardi, Raffaella (ed.); Kobele, Greg (ed.); Pogodalla, Sylvain (ed.) Formal grammar. 24th international conference, FG 2019, Riga, Latvia, August 11, 2019. Proceedings. (English) Zbl 1419.68004 Lecture Notes in Computer Science 11668. Berlin: Springer (ISBN 978-3-662-59647-0/pbk; 978-3-662-59648-7/ebook). ix, 117 p. (2019). MSC: 68-06 03B65 68Q42 91F20 00B25 PDF BibTeX XML Cite \textit{R. Bernardi} (ed.) et al., Formal grammar. 24th international conference, FG 2019, Riga, Latvia, August 11, 2019. Proceedings. Berlin: Springer (2019; Zbl 1419.68004) Full Text: DOI
Boichut, Yohan; Chabin, Jacques; Réty, Pierre Towards more precise rewriting approximations. (English) Zbl 1425.68154 J. Comput. Syst. Sci. 104, 131-148 (2019). MSC: 68Q42 68N17 68Q45 PDF BibTeX XML Cite \textit{Y. Boichut} et al., J. Comput. Syst. Sci. 104, 131--148 (2019; Zbl 1425.68154) Full Text: DOI
Feier, Cristina; Kuusisto, Antti; Lutz, Carsten Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics. (English) Zbl 1421.68037 Log. Methods Comput. Sci. 15, No. 2, Paper No. 15, 46 p. (2019). MSC: 68P15 68N17 68Q25 68Q42 68T27 68T30 PDF BibTeX XML Cite \textit{C. Feier} et al., Log. Methods Comput. Sci. 15, No. 2, Paper No. 15, 46 p. (2019; Zbl 1421.68037) Full Text: arXiv
Jay, Barry Intensional computation with higher-order functions. (English) Zbl 1417.68041 Theor. Comput. Sci. 768, 76-90 (2019). MSC: 68Q01 03B40 68Q42 PDF BibTeX XML Cite \textit{B. Jay}, Theor. Comput. Sci. 768, 76--90 (2019; Zbl 1417.68041) Full Text: DOI
Han, Chung-hye; Williamson, Sara; Born, Logan; Sarkar, Anoop An analysis of clausal coordination using synchronous tree adjoining grammar. (English) Zbl 1444.91187 J. Log. Comput. 29, No. 1, 91-123 (2019). MSC: 91F20 03B65 68Q42 PDF BibTeX XML Cite \textit{C.-h. Han} et al., J. Log. Comput. 29, No. 1, 91--123 (2019; Zbl 1444.91187) Full Text: DOI
Eisenberg, Andy; Piggott, Adam Gilman’s conjecture. (English) Zbl 1418.20009 J. Algebra 517, 167-185 (2019). Reviewer: Mikhail Volkov (Ekaterinburg) MSC: 20E06 20F10 20F05 68Q42 PDF BibTeX XML Cite \textit{A. Eisenberg} and \textit{A. Piggott}, J. Algebra 517, 167--185 (2019; Zbl 1418.20009) Full Text: DOI arXiv
Farley, Daniel Local similarity groups with context-free co-word problem. (English) Zbl 1430.20026 Broaddus, N. (ed.) et al., Topological methods in group theory. Proceedings of the conference, Ohio State University, Columbus, OH, USA, June 16–20, 2014 in honor of Ross Geoghegan’s 70th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 451, 67-91 (2018). MSC: 20F10 68Q42 68Q45 20F65 PDF BibTeX XML Cite \textit{D. Farley}, Lond. Math. Soc. Lect. Note Ser. 451, 67--91 (2018; Zbl 1430.20026) Full Text: DOI
Beklemishev, Lev A note on strictly positive logics and word rewriting systems. (English) Zbl 1429.03077 Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 61-70 (2018). MSC: 03B45 68Q42 PDF BibTeX XML Cite \textit{L. Beklemishev}, Outst. Contrib. Log. 15, 61--70 (2018; Zbl 1429.03077) Full Text: DOI
Díaz-Caro, Alejandro; Martínez, Guido Confluence in probabilistic rewriting. (English) Zbl 1433.68189 Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 115-131 (2018). MSC: 68Q42 03B40 68N15 PDF BibTeX XML Cite \textit{A. Díaz-Caro} and \textit{G. Martínez}, Electron. Notes Theor. Comput. Sci. 338, 115--131 (2018; Zbl 1433.68189) Full Text: DOI
Liu, Si; Ölveczky, Peter Csaba; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, José ROLA: a new distributed transaction protocol and its formal analysis. (English) Zbl 1425.68095 Russo, Alessandra (ed.) et al., Fundamental approaches to software engineering. 21st international conference, FASE 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10802, 77-93 (2018). MSC: 68P15 03B70 68Q42 68Q60 PDF BibTeX XML Cite \textit{S. Liu} et al., Lect. Notes Comput. Sci. 10802, 77--93 (2018; Zbl 1425.68095) Full Text: DOI
Azamov, Abdulla A language of terms of Taylor’s formula for quadratic dynamical systems and its fractality. (English) Zbl 1431.65095 Azamov, Abdulla (ed.) et al., Differential equations and dynamical systems. 2 USUZCAMP. Selected papers based on the presentations at the special session of the 2nd USA-Uzbekistan conference on analysis and mathematical physics, Urgench, Uzbekistan, August 8–12, 2017. Cham: Springer. Springer Proc. Math. Stat. 268, 25-40 (2018). Reviewer: Serhiy Yanchuk (Berlin) MSC: 65L05 68Q42 65L20 65D25 03B65 PDF BibTeX XML Cite \textit{A. Azamov}, Springer Proc. Math. Stat. 268, 25--40 (2018; Zbl 1431.65095) Full Text: DOI
Bárány, Vince; Benedikt, Michael; Cate, Balder Ten Some model theory of guarded negation. (English) Zbl 06997541 J. Symb. Log. 83, No. 4, 1307-1344 (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{V. Bárány} et al., J. Symb. Log. 83, No. 4, 1307--1344 (2018; Zbl 06997541) Full Text: DOI
Fülöp, Zoltán; Herrmann, Luisa; Vogler, Heiko Weighted regular tree grammars with storage. (English) Zbl 1408.68087 Discrete Math. Theor. Comput. Sci. 20, No. 1, Paper No. 26, 44 p. (2018). Reviewer: Magnus Steinby (Turku) MSC: 68Q42 03D05 68Q45 PDF BibTeX XML Cite \textit{Z. Fülöp} et al., Discrete Math. Theor. Comput. Sci. 20, No. 1, Paper No. 26, 44 p. (2018; Zbl 1408.68087) Full Text: Link arXiv
Kanazawa, Makoto On the recognizing power of the Lambek calculus with brackets. (English) Zbl 1427.03040 J. Logic Lang. Inf. 27, No. 4, 295-312 (2018). MSC: 03B47 68Q42 68Q45 PDF BibTeX XML Cite \textit{M. Kanazawa}, J. Logic Lang. Inf. 27, No. 4, 295--312 (2018; Zbl 1427.03040) Full Text: DOI arXiv
Frühwirth, Thom Parallelism, concurrency and distribution in constraint handling rules: a survey. (English) Zbl 1452.68042 Theory Pract. Log. Program. 18, No. 5-6, 759-805 (2018). MSC: 68N19 68N17 68Q10 68Q42 68Q85 PDF BibTeX XML Cite \textit{T. Frühwirth}, Theory Pract. Log. Program. 18, No. 5--6, 759--805 (2018; Zbl 1452.68042) Full Text: DOI
Meseguer, José Symbolic reasoning methods in rewriting logic and Maude. (English) Zbl 06958305 Moss, Lawrence S. (ed.) et al., Logic, language, information, and computation. 25th international workshop, WoLLIC 2018, Bogota, Colombia, July 24–27, 2018. Proceedings. Berlin: Springer (ISBN 978-3-662-57668-7/pbk; 978-3-662-57669-4/ebook). Lecture Notes in Computer Science 10944, 25-60 (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 10944, 25--60 (2018; Zbl 06958305) Full Text: DOI
Joosten, Sebastiaan J. C. Finding models through graph saturation. (English) Zbl 1401.68043 J. Log. Algebr. Methods Program. 100, 98-112 (2018). MSC: 68N30 03B70 68Q42 PDF BibTeX XML Cite \textit{S. J. C. Joosten}, J. Log. Algebr. Methods Program. 100, 98--112 (2018; Zbl 1401.68043) Full Text: DOI
Hermiller, Susan; Martínez-Pérez, Conchita HNN extensions and stackable groups. (English) Zbl 06941813 Groups Geom. Dyn. 12, No. 3, 1123-1158 (2018). MSC: 20F65 20F10 20F16 68Q42 PDF BibTeX XML Cite \textit{S. Hermiller} and \textit{C. Martínez-Pérez}, Groups Geom. Dyn. 12, No. 3, 1123--1158 (2018; Zbl 06941813) Full Text: DOI
Augusto, Luis M. Computational logic. Volume 1: Classical deductive computing with classical logic. (English) Zbl 1408.68001 Texts in Computing 19. London: College Publications (ISBN 978-1-84890-280-0/pbk). xviii, 464 p. (2018). Reviewer: Éric Martin (Sydney) MSC: 68-01 03B70 68N17 68Q05 68Q15 68Q17 68Q42 68Q45 68T15 PDF BibTeX XML Cite \textit{L. M. Augusto}, Computational logic. Volume 1: Classical deductive computing with classical logic. London: College Publications (2018; Zbl 1408.68001)
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José A constructor-based reachability logic for rewrite theories. (English) Zbl 06932831 Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-94459-3/pbk; 978-3-319-94460-9/ebook). Lecture Notes in Computer Science 10855, 201-217 (2018). MSC: 68N30 PDF BibTeX XML Cite \textit{S. Skeirik} et al., Lect. Notes Comput. Sci. 10855, 201--217 (2018; Zbl 06932831) Full Text: DOI
Brenas, Jon Haël; Echahed, Rachid; Strecker, Martin Verifying graph transformation systems with description logics. (English) Zbl 1394.68224 Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 155-170 (2018). MSC: 68Q60 68Q42 68T27 PDF BibTeX XML Cite \textit{J. H. Brenas} et al., Lect. Notes Comput. Sci. 10887, 155--170 (2018; Zbl 1394.68224) Full Text: DOI
Alpuente, María; Ballis, Demis; Sapiña, Julia Inferring safe Maude programs with ÁTAME. (English) Zbl 1395.68080 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 1-10 (2018). MSC: 68N15 68-04 68Q42 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 10931, 1--10 (2018; Zbl 1395.68080) Full Text: DOI
Aubert, Clément; Bagnol, Marc Unification and logarithmic space. (English) Zbl 1447.68005 Log. Methods Comput. Sci. 14, No. 3, Paper No. 6, 21 p. (2018). Reviewer: Guillermo Morales Luna (Ciudad de México) MSC: 68Q15 03F52 68N17 68Q42 68Q45 PDF BibTeX XML Cite \textit{C. Aubert} and \textit{M. Bagnol}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 6, 21 p. (2018; Zbl 1447.68005) Full Text: DOI arXiv
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel Sentence-normalized conditional narrowing modulo in rewriting logic and Maude. (English) Zbl 1398.68267 J. Autom. Reasoning 60, No. 4, 421-463 (2018). MSC: 68Q42 03B70 PDF BibTeX XML Cite \textit{L. Aguirre} et al., J. Autom. Reasoning 60, No. 4, 421--463 (2018; Zbl 1398.68267) Full Text: DOI
Foret, Annie (ed.); Kobele, Greg (ed.); Pogodalla, Sylvain (ed.) Formal grammar 2018. 23rd international conference, FG 2018, Sofia, Bulgaria, August 11–12, 2018. Proceedings. (English) Zbl 1391.68005 Lecture Notes in Computer Science 10950. Berlin: Springer (ISBN 978-3-662-57783-7/pbk; 978-3-662-57784-4/ebook). ix, 137 p. (2018). MSC: 68-06 03B65 68Q42 91F20 00B25 PDF BibTeX XML Cite \textit{A. Foret} (ed.) et al., Formal grammar 2018. 23rd international conference, FG 2018, Sofia, Bulgaria, August 11--12, 2018. Proceedings. Berlin: Springer (2018; Zbl 1391.68005) Full Text: DOI
Dehornoy, Patrick; Holt, Derek F.; Rees, Sarah Multifraction reduction. IV: Padding and Artin-Tits monoids of sufficiently large type. (English) Zbl 06902478 J. Pure Appl. Algebra 222, No. 12, 4082-4098 (2018). MSC: 20M05 20F36 20F10 68Q42 18B40 16S15 PDF BibTeX XML Cite \textit{P. Dehornoy} et al., J. Pure Appl. Algebra 222, No. 12, 4082--4098 (2018; Zbl 06902478) Full Text: DOI
Moser, Georg; Schneckenreither, Manuel Automated amortised resource analysis for term rewrite systems. (English) Zbl 06900734 Gallagher, John P. (ed.) et al., Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-90685-0/pbk; 978-3-319-90686-7/ebook). Lecture Notes in Computer Science 10818, 214-229 (2018). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{G. Moser} and \textit{M. Schneckenreither}, Lect. Notes Comput. Sci. 10818, 214--229 (2018; Zbl 06900734) Full Text: DOI
Gabbay, Murdoch J. The language of stratified sets is confluent and strongly normalising. (English) Zbl 06876267 Log. Methods Comput. Sci. 14, No. 2, Paper No. 12, 34 p. (2018). MSC: 03B70 68 PDF BibTeX XML Cite \textit{M. J. Gabbay}, Log. Methods Comput. Sci. 14, No. 2, Paper No. 12, 34 p. (2018; Zbl 06876267) Full Text: DOI arXiv
Karpuz, Eylem Güzel; Çetinalp, Esra Kirmizi Growth series of crossed and two-sided crossed products of cyclic groups. (English) Zbl 1441.20021 Math. Slovaca 68, No. 3, 537-548 (2018). MSC: 20E22 20F10 20M05 PDF BibTeX XML Cite \textit{E. G. Karpuz} and \textit{E. K. Çetinalp}, Math. Slovaca 68, No. 3, 537--548 (2018; Zbl 1441.20021) Full Text: DOI
Ciobanu, Laura; Elder, Murray; Ferov, Michal Applications of L systems to group theory. (English) Zbl 06859069 Int. J. Algebra Comput. 28, No. 2, 309-329 (2018). MSC: 20F10 20F65 68Q42 PDF BibTeX XML Cite \textit{L. Ciobanu} et al., Int. J. Algebra Comput. 28, No. 2, 309--329 (2018; Zbl 06859069) Full Text: DOI arXiv
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira Towards a navigational logic for graphical structures. (English) Zbl 1383.68064 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 124-141 (2018). MSC: 68R10 03B70 68Q42 PDF BibTeX XML Cite \textit{L. Lambers} et al., Lect. Notes Comput. Sci. 10800, 124--141 (2018; Zbl 1383.68064) Full Text: DOI
Fairweather, Elliot; Fernández, Maribel Typed nominal rewriting. (English) Zbl 1407.68240 ACM Trans. Comput. Log. 19, No. 1, Article No. 6, 46 p. (2018). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{E. Fairweather} and \textit{M. Fernández}, ACM Trans. Comput. Log. 19, No. 1, Article No. 6, 46 p. (2018; Zbl 1407.68240) Full Text: DOI
Brittenham, Mark; Hermiller, Susan; Susse, Tim Geometry of the word problem for 3-manifold groups. (English) Zbl 1427.20057 J. Algebra 499, 111-150 (2018). MSC: 20F65 20F10 57M05 57M07 68Q45 PDF BibTeX XML Cite \textit{M. Brittenham} et al., J. Algebra 499, 111--150 (2018; Zbl 1427.20057) Full Text: DOI
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra Coinductive foundations of infinitary rewriting and infinitary equational logic. (English) Zbl 06825413 Log. Methods Comput. Sci. 14, No. 1, Paper No. 3, 44 p. (2018). MSC: 03B70 68 PDF BibTeX XML Cite \textit{J. Endrullis} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 3, 44 p. (2018; Zbl 06825413) Full Text: DOI arXiv
Guiraud, Yves; Malbos, Philippe Polygraphs of finite derivation type. (English) Zbl 1396.18004 Math. Struct. Comput. Sci. 28, No. 2, 155-201 (2018). Reviewer: Peeter Normak (Tallinn) MSC: 18B40 20M05 16S15 68Q42 20F10 PDF BibTeX XML Cite \textit{Y. Guiraud} and \textit{P. Malbos}, Math. Struct. Comput. Sci. 28, No. 2, 155--201 (2018; Zbl 1396.18004) Full Text: DOI arXiv
Richards, Dana; Hamburger, Henry Logic and language models for computer science. 3rd edition. (English) Zbl 1400.68004 Hackensack, NJ: World Scientific (ISBN 978-981-3229-20-4/hbk; 978-981-3230-50-7/pbk). xv, 451 p. (2018). MSC: 68-01 03-01 03B70 68N17 68Q05 68Q42 68Q45 68Q55 68Q60 PDF BibTeX XML Cite \textit{D. Richards} and \textit{H. Hamburger}, Logic and language models for computer science. 3rd edition. Hackensack, NJ: World Scientific (2018; Zbl 1400.68004) Full Text: DOI
Diekert, Volker; Weiß, Armin Context-free groups and Bass-Serre theory. (English) Zbl 1436.20062 González-Meneses, Juan (ed.) et al., Algorithmic and geometric topics around free groups and automorphisms. Based on the summer school, Barcelona, Spain, September–December 2012. Cham: Birkhäuser/Springer. Adv. Courses in Math., CRM Barc., 43-110 (2017). MSC: 20F10 20M35 68Q42 68Q45 05C25 PDF BibTeX XML Cite \textit{V. Diekert} and \textit{A. Weiß}, in: Algorithmic and geometric topics around free groups and automorphisms. Based on the summer school, Barcelona, Spain, September--December 2012. Cham: Birkhäuser/Springer. 43--110 (2017; Zbl 1436.20062) Full Text: DOI
Kanovich, Max; Kuznetsov, Stepan; Morrill, Glyn; Scedrov, Andre A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. (English) Zbl 1434.03076 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 22, 17 p. (2017). MSC: 03B47 68Q42 03F05 03F52 68Q25 PDF BibTeX XML Cite \textit{M. Kanovich} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 22, 17 p. (2017; Zbl 1434.03076) Full Text: DOI
Czajka, Łukasz Confluence of an extension of combinatory logic by Boolean constants. (English) Zbl 1434.03049 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 14, 16 p. (2017). MSC: 03B40 68Q42 PDF BibTeX XML Cite \textit{Ł. Czajka}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 14, 16 p. (2017; Zbl 1434.03049) Full Text: DOI
Barenbaum, Pablo; Bonelli, Eduardo Optimality and the linear substitution calculus. (English) Zbl 1434.68217 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 9, 16 p. (2017). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{P. Barenbaum} and \textit{E. Bonelli}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 9, 16 p. (2017; Zbl 1434.68217) Full Text: DOI
Bahr, Patrick Böhm reduction in infinitary term graph rewriting systems. (English) Zbl 1434.68216 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 8, 20 p. (2017). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{P. Bahr}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 8, 20 p. (2017; Zbl 1434.68216) Full Text: DOI
Akama, Yohji The confluent terminating context-free substitutive rewriting system for the lambda-calculus with surjective pairing and terminal type. (English) Zbl 1434.68213 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 6, 19 p. (2017). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{Y. Akama}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 6, 19 p. (2017; Zbl 1434.68213) Full Text: DOI
Muroya, Koko; Ghica, Dan R. The dynamic geometry of interaction machine: a call-by-need graph rewriter. (English) Zbl 1440.68044 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 32, 15 p. (2017). MSC: 68N18 03B40 03F52 68Q42 PDF BibTeX XML Cite \textit{K. Muroya} and \textit{D. R. Ghica}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 32, 15 p. (2017; Zbl 1440.68044) Full Text: DOI
Kheldoun, Ahmed; Barkaoui, Kamel; Ioualalen, Malika Formal verification of complex business processes based on high-level Petri nets. (English) Zbl 1429.68147 Inf. Sci. 385-386, 39-54 (2017). MSC: 68Q85 68Q42 68Q60 PDF BibTeX XML Cite \textit{A. Kheldoun} et al., Inf. Sci. 385--386, 39--54 (2017; Zbl 1429.68147) Full Text: DOI
Andrew, Aberdein Book review of: M. Ganesalingam, The language of mathematics: a linguistic and philosophical investigation. (English) Zbl 1420.00005 Philos. Math. (3) 25, No. 1, 143-147 (2017). MSC: 00A17 03-02 00-02 68-02 00A30 03A05 03B65 68Q42 68T50 PDF BibTeX XML Cite \textit{A. Andrew}, Philos. Math. (3) 25, No. 1, 143--147 (2017; Zbl 1420.00005) Full Text: DOI
Ramos, Arthur F.; de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G. On the identity type as the type of computational paths. (English) Zbl 1405.03024 Log. J. IGPL 25, No. 4, 562-584 (2017). MSC: 03B15 18B40 68Q42 PDF BibTeX XML Cite \textit{A. F. Ramos} et al., Log. J. IGPL 25, No. 4, 562--584 (2017; Zbl 1405.03024) Full Text: DOI
Feier, Cristina; Kuusisto, Antti; Lutz, Carsten Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics. Invited talk. (English) Zbl 1402.68046 Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 1, 17 p. (2017). MSC: 68P15 68N17 68Q25 68Q42 68T27 68T30 PDF BibTeX XML Cite \textit{C. Feier} et al., LIPIcs -- Leibniz Int. Proc. Inform. 68, Article 1, 17 p. (2017; Zbl 1402.68046) Full Text: DOI
Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes-Sobrinho, Daniele Intruder deduction problem for locally stable theories with normal forms and inverses. (English) Zbl 1386.68078 Theor. Comput. Sci. 672, 64-100 (2017). MSC: 68Q42 03B70 68P25 PDF BibTeX XML Cite \textit{M. Ayala-Rincón} et al., Theor. Comput. Sci. 672, 64--100 (2017; Zbl 1386.68078) Full Text: DOI
Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Ríos, Alejandro On abstract normalisation beyond neededness. (English) Zbl 1387.68143 Theor. Comput. Sci. 672, 36-63 (2017). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{E. Bonelli} et al., Theor. Comput. Sci. 672, 36--63 (2017; Zbl 1387.68143) Full Text: DOI
Meseguer, José Strict coherence of conditional rewriting modulo axioms. (English) Zbl 1386.68080 Theor. Comput. Sci. 672, 1-35 (2017). MSC: 68Q42 03B70 PDF BibTeX XML Cite \textit{J. Meseguer}, Theor. Comput. Sci. 672, 1--35 (2017; Zbl 1386.68080) Full Text: DOI
Roşu, Grigore Matching logic. (English) Zbl 1448.03019 Log. Methods Comput. Sci. 13, No. 4, Paper No. 28, 61 p. (2017). MSC: 03B70 68Q42 68Q60 PDF BibTeX XML Cite \textit{G. Roşu}, Log. Methods Comput. Sci. 13, No. 4, Paper No. 28, 61 p. (2017; Zbl 1448.03019) Full Text: DOI arXiv
Alhumaidan, Abdullah; Steggles, Jason Modelling and analysing qualitative biological models using rewriting logic. (English) Zbl 1382.68147 Fundam. Inform. 153, No. 1-2, 1-28 (2017). MSC: 68Q85 03B70 68Q42 92C42 PDF BibTeX XML Cite \textit{A. Alhumaidan} and \textit{J. Steggles}, Fundam. Inform. 153, No. 1--2, 1--28 (2017; Zbl 1382.68147) Full Text: DOI
Dehornoy, Patrick; Wehrung, Friedrich Multifraction reduction. III: The case of interval monoids. (English) Zbl 1429.20041 J. Comb. Algebra 1, No. 4, 341-370 (2017). MSC: 20M05 06A12 18B35 18B40 20F10 68Q42 PDF BibTeX XML Cite \textit{P. Dehornoy} and \textit{F. Wehrung}, J. Comb. Algebra 1, No. 4, 341--370 (2017; Zbl 1429.20041) Full Text: DOI
Bendkowski, Maciej Normal-order reduction grammars. (English) Zbl 1418.68111 J. Funct. Program. 27, Paper No. e6, 31 p. (2017). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{M. Bendkowski}, J. Funct. Program. 27, Paper No. e6, 31 p. (2017; Zbl 1418.68111) Full Text: DOI
Dehornoy, Patrick Multifraction reduction. II: Conjectures for Artin-Tits groups. (English) Zbl 1422.20021 J. Comb. Algebra 1, No. 3, 229-287 (2017). MSC: 20M05 20F36 20F10 68Q42 20F06 PDF BibTeX XML Cite \textit{P. Dehornoy}, J. Comb. Algebra 1, No. 3, 229--287 (2017; Zbl 1422.20021) Full Text: DOI
Barceló, Pablo; Fontaine, Gaëlle On the data complexity of consistent query answering over graph databases. (English) Zbl 1371.68060 J. Comput. Syst. Sci. 88, 164-194 (2017). MSC: 68P15 68Q42 68T27 PDF BibTeX XML Cite \textit{P. Barceló} and \textit{G. Fontaine}, J. Comput. Syst. Sci. 88, 164--194 (2017; Zbl 1371.68060) Full Text: DOI
Dehornoy, Patrick Multifraction reduction. I: The 3-Ore case and Artin-Tits groups of type FC. (English) Zbl 1422.20020 J. Comb. Algebra 1, No. 2, 185-228 (2017). MSC: 20M05 20F36 20F10 68Q42 20F06 PDF BibTeX XML Cite \textit{P. Dehornoy}, J. Comb. Algebra 1, No. 2, 185--228 (2017; Zbl 1422.20020) Full Text: DOI
Goranko, Valentin Book review of: D. M. Gabbay, Reactive Kripke semantics. (English) Zbl 1362.00006 Stud. Log. 105, No. 2, 431-437 (2017). MSC: 00A17 03-02 68-02 03B45 03B20 03B62 03B70 68Q42 68Q45 68T27 PDF BibTeX XML Cite \textit{V. Goranko}, Stud. Log. 105, No. 2, 431--437 (2017; Zbl 1362.00006) Full Text: DOI
Arrighi, Pablo; Dowek, Gilles Lineal: a linear-algebraic \(\lambda\)-calculus. (English) Zbl 1448.68206 Log. Methods Comput. Sci. 13, No. 1, Paper No. 8, 33 p. (2017). MSC: 68N18 03B40 68Q42 81P68 PDF BibTeX XML Cite \textit{P. Arrighi} and \textit{G. Dowek}, Log. Methods Comput. Sci. 13, No. 1, Paper No. 8, 33 p. (2017; Zbl 1448.68206) Full Text: DOI arXiv
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko A rewriting framework and logic for activities subject to regulations. (English) Zbl 1364.68333 Math. Struct. Comput. Sci. 27, No. 3, 332-375 (2017). MSC: 68T27 03F52 68Q42 68Q55 68Q85 PDF BibTeX XML Cite \textit{M. Kanovich} et al., Math. Struct. Comput. Sci. 27, No. 3, 332--375 (2017; Zbl 1364.68333) Full Text: DOI
McCabe-Dansted, John C.; Reynolds, Mark Rewrite rules for \(\mathrm{CTL}^\ast\). (English) Zbl 1436.03124 J. Appl. Log. 21, 24-56 (2017). MSC: 03B44 68Q42 PDF BibTeX XML Cite \textit{J. C. McCabe-Dansted} and \textit{M. Reynolds}, J. Appl. Log. 21, 24--56 (2017; Zbl 1436.03124) Full Text: DOI
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio Constraint logic programming with a relational machine. (English) Zbl 1355.68035 Formal Asp. Comput. 29, No. 1, 97-124 (2017). MSC: 68N17 68N30 PDF BibTeX XML Cite \textit{E. J. Gallego Arias} et al., Formal Asp. Comput. 29, No. 1, 97--124 (2017; Zbl 1355.68035) Full Text: DOI
Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto Verifiable abstractions for contract-oriented systems. (English) Zbl 1353.68194 J. Log. Algebr. Methods Program. 86, No. 1, 159-207 (2017). MSC: 68Q85 68Q42 68Q60 PDF BibTeX XML Cite \textit{M. Bartoletti} et al., J. Log. Algebr. Methods Program. 86, No. 1, 159--207 (2017; Zbl 1353.68194) Full Text: DOI
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E. Herbrand confluence for first-order proofs with \(\Pi_2\)-cuts. (English) Zbl 1433.03133 Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 5-40 (2016). MSC: 03F05 68Q42 03F07 PDF BibTeX XML Cite \textit{B. Afshari} et al., Ontos Math. Log. 6, 5--40 (2016; Zbl 1433.03133) Full Text: DOI
Grabmayer, Clemens Linear depth increase of lambda terms in leftmost-outermost rewrite sequences. (English) Zbl 1418.03039 van Eijck, Jan (ed.) et al., Liber amicorum Alberti. A tribute to Albert Visser. London: College Publications. Tributes 30, 125-139 (2016). MSC: 03B40 68Q42 PDF BibTeX XML Cite \textit{C. Grabmayer}, Tributes 30, 125--139 (2016; Zbl 1418.03039)
Stoica, Laura Florentina; Stoica, Florin; Boian, Florian Mircea Generating a CTL model checker using an attribute grammar. (English) Zbl 1410.68239 Simian, Dana (ed.), Modelling and development of intelligent systems. Proceedings of the fourth international conference, Sibiu, Romania, October 28 – November 1, 2015. Sibiu: “Lucian Blaga” University Press. 130-143 (2016). MSC: 68Q60 03B44 68Q42 PDF BibTeX XML Cite \textit{L. F. Stoica} et al., in: Modelling and development of intelligent systems. Proceedings of the fourth international conference, Sibiu, Romania, October 28 -- November 1, 2015. Sibiu: ``Lucian Blaga'' University Press. 130--143 (2016; Zbl 1410.68239)
Winter, Yoad Elements of formal semantics. An introduction to the mathematical theory of meaning in natural language. (English) Zbl 07049005 Edinburgh Advanced Textbooks in Linguistics. Edinburgh: Edinburgh University Press (ISBN 978-0-7486-4044-7/hbk; 978-0-7486-4043-0/pbk; 978-0-7486-7777-1/ebook). xi, 258 p. (2016). MSC: 03-01 03B65 68Q42 68T50 91F20 PDF BibTeX XML Cite \textit{Y. Winter}, Elements of formal semantics. An introduction to the mathematical theory of meaning in natural language. Edinburgh: Edinburgh University Press (2016; Zbl 07049005)
Salibra, Antonino; Manzonetto, Giulio; Favro, Giordano Factor varieties and symbolic computation. (English) Zbl 1394.03019 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 739-748 (2016). MSC: 03B35 03B05 03B10 03B50 03G25 08B05 68Q42 94C10 PDF BibTeX XML Cite \textit{A. Salibra} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 739--748 (2016; Zbl 1394.03019) Full Text: DOI
Dal Lago, Ugo Infinitary lambda calculi from a linear perspective. (English) Zbl 1394.03027 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 447-456 (2016). MSC: 03B40 03F52 PDF BibTeX XML Cite \textit{U. Dal Lago}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 447--456 (2016; Zbl 1394.03027) Full Text: DOI
Bichler, Manuel; Morak, Michael; Woltran, Stefan The power of non-ground rules in answer set programming. (English) Zbl 1379.68042 Theory Pract. Log. Program. 16, No. 5-6, 552-569 (2016). MSC: 68N17 68T20 PDF BibTeX XML Cite \textit{M. Bichler} et al., Theory Pract. Log. Program. 16, No. 5--6, 552--569 (2016; Zbl 1379.68042) Full Text: DOI
Alpuente, M.; Frechina, F.; Sapiña, J.; Ballis, D. Assertion-based analysis via slicing with \(\mathsf{ABETS}\) (system description). (English) Zbl 1379.68088 Theory Pract. Log. Program. 16, No. 5-6, 515-532 (2016). MSC: 68N20 68N17 68Q42 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Theory Pract. Log. Program. 16, No. 5--6, 515--532 (2016; Zbl 1379.68088) Full Text: DOI
Van Oostrom, Vincent; Toyama, Yoshihito Normalisation by random descent. (English) Zbl 1387.68151 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 32, 18 p. (2016). MSC: 68Q42 03B40 68N30 PDF BibTeX XML Cite \textit{V. Van Oostrom} and \textit{Y. Toyama}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 32, 18 p. (2016; Zbl 1387.68151) Full Text: DOI
Kahrs, Stefan; Smith, Connor Non-\(\omega\)-overlapping TRSs are UN. (English) Zbl 1387.03028 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 22, 17 p. (2016). MSC: 03B70 68Q42 PDF BibTeX XML Cite \textit{S. Kahrs} and \textit{C. Smith}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 22, 17 p. (2016; Zbl 1387.03028) Full Text: DOI
Brenas, Jon Haël; Echahed, Rachid; Strecker, Martin Proving correctness of logically decorated graph rewriting systems. (English) Zbl 1387.68144 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 14, 15 p. (2016). MSC: 68Q42 03B70 68N30 PDF BibTeX XML Cite \textit{J. H. Brenas} et al., LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 14, 15 p. (2016; Zbl 1387.68144) Full Text: DOI
Kangal, Esma How effects efficiency on the word problem for monoids? (English) Zbl 06749730 Filomat 30, No. 3, 733-740 (2016). MSC: 20F10 PDF BibTeX XML Cite \textit{E. Kangal}, Filomat 30, No. 3, 733--740 (2016; Zbl 06749730) Full Text: DOI
Das, Anupam; Straßburger, Lutz On linear rewriting systems for Boolean logic and some applications to proof theory. (English) Zbl 1445.03069 Log. Methods Comput. Sci. 12, No. 4, Paper No. 9, 27 p. (2016). MSC: 03F52 03F20 03B05 68Q42 68Q17 PDF BibTeX XML Cite \textit{A. Das} and \textit{L. Straßburger}, Log. Methods Comput. Sci. 12, No. 4, Paper No. 9, 27 p. (2016; Zbl 1445.03069) Full Text: DOI
Hartimo, Mirja; Okada, Mitsuhiro Syntactic reduction in Husserl’s early phenomenology of arithmetic. (English) Zbl 1384.03008 Synthese 193, No. 3, 937-969 (2016). MSC: 03-03 03A05 03F30 00A30 01A55 PDF BibTeX XML Cite \textit{M. Hartimo} and \textit{M. Okada}, Synthese 193, No. 3, 937--969 (2016; Zbl 1384.03008) Full Text: DOI