Jouannaud, Jean-Pierre; Orejas, Fernando Unification of drags and confluence of drag rewriting. (English) Zbl 07649242 J. Log. Algebr. Methods Program. 131, Article ID 100845, 26 p. (2023). MSC: 68Q42 PDFBibTeX XMLCite \textit{J.-P. Jouannaud} and \textit{F. Orejas}, J. Log. Algebr. Methods Program. 131, Article ID 100845, 26 p. (2023; Zbl 07649242) Full Text: DOI
Bonacina, Maria Paola Set of support, demodulation, paramodulation: a historical perspective. (English) Zbl 1511.68305 J. Autom. Reasoning 66, No. 4, 463-497 (2022). MSC: 68V15 68-03 PDFBibTeX XMLCite \textit{M. P. Bonacina}, J. Autom. Reasoning 66, No. 4, 463--497 (2022; Zbl 1511.68305) Full Text: DOI
Beeson, Michael; Bonacina, Maria Paola; Kinyon, Michael; Sutcliffe, Geoff Larry Wos: visions of automated reasoning. (English) Zbl 1511.68005 J. Autom. Reasoning 66, No. 4, 439-461 (2022). MSC: 68-03 01A70 68V15 PDFBibTeX XMLCite \textit{M. Beeson} et al., J. Autom. Reasoning 66, No. 4, 439--461 (2022; Zbl 1511.68005) Full Text: DOI
Dundua, Besik; Kutsia, Temur; Rukhaia, Mikheil Unranked nominal unification. (English) Zbl 07570784 Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 279-296 (2022). MSC: 68Q42 PDFBibTeX XMLCite \textit{B. Dundua} et al., Lect. Notes Comput. Sci. 13206, 279--296 (2022; Zbl 07570784) Full Text: DOI
Ayala-Rincón, Mauricio; Fernández, Maribel; Sobrinho, Daniele Nantes; Vale, Deivid On solving nominal disunification constraints. (English) Zbl 1495.03048 Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 3-22 (2020). MSC: 03B70 03B40 68Q55 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Electron. Notes Theor. Comput. Sci. 348, 3--22 (2020; Zbl 1495.03048) Full Text: DOI
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 1468.68282 J. Autom. Reasoning 64, No. 6, 1001-1050 (2020). MSC: 68V15 03B35 PDFBibTeX XMLCite \textit{G. Burel} et al., J. Autom. Reasoning 64, No. 6, 1001--1050 (2020; Zbl 1468.68282) Full Text: DOI HAL
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica On first-order model-based reasoning. (English) Zbl 1322.03013 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 181-204 (2015). MSC: 03B35 03B10 PDFBibTeX XMLCite \textit{M. P. Bonacina} et al., Lect. Notes Comput. Sci. 9200, 181--204 (2015; Zbl 1322.03013) Full Text: DOI arXiv
Antoy, Sergio; Jost, Andy Compiling a functional logic language: The Fair Scheme. (English) Zbl 1453.68039 Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8901, 202-219 (2014). MSC: 68N20 68N15 68N17 68N18 68Q42 PDFBibTeX XMLCite \textit{S. Antoy} and \textit{A. Jost}, Lect. Notes Comput. Sci. 8901, 202--219 (2014; Zbl 1453.68039) Full Text: DOI
Anellis, Irving H. Jean van Heijenoort’s contributions to proof theory and its history. (English) Zbl 1272.03001 Log. Univers. 6, No. 3-4, 411-458 (2012). Reviewer: M. Yasuhara (Princeton) MSC: 03-03 01A60 03C30 PDFBibTeX XMLCite \textit{I. H. Anellis}, Log. Univers. 6, No. 3--4, 411--458 (2012; Zbl 1272.03001) Full Text: DOI Euclid
Abourbih, Jonathan A.; Blaney, Luke; Bundy, Alan; McNeill, Fiona A single-significant-digit calculus for semi-automated guesstimation. (English) Zbl 1291.68315 Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 354-368 (2010). MSC: 68T15 PDFBibTeX XMLCite \textit{J. A. Abourbih} et al., Lect. Notes Comput. Sci. 6173, 354--368 (2010; Zbl 1291.68315) Full Text: DOI Link
Bundy, Alan Automating signature evolution in logical theories. (English) Zbl 1166.68356 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 333-338 (2008). MSC: 68T27 PDFBibTeX XMLCite \textit{A. Bundy}, Lect. Notes Comput. Sci. 5144, 333--338 (2008; Zbl 1166.68356) Full Text: DOI
Ketema, Jeroen On normalisation of infinitary combinatory reduction systems. (English) Zbl 1145.68448 Voronkov, Andrei (ed.), Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70588-8/pbk). Lecture Notes in Computer Science 5117, 172-186 (2008). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Ketema}, Lect. Notes Comput. Sci. 5117, 172--186 (2008; Zbl 1145.68448) Full Text: DOI
Echahed, Rachid; Peltier, Nicolas A needed rewriting strategy for data-structures with pointers. (English) Zbl 1145.68443 Voronkov, Andrei (ed.), Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70588-8/pbk). Lecture Notes in Computer Science 5117, 63-78 (2008). MSC: 68Q42 68P10 PDFBibTeX XMLCite \textit{R. Echahed} and \textit{N. Peltier}, Lect. Notes Comput. Sci. 5117, 63--78 (2008; Zbl 1145.68443) Full Text: DOI
Bundy, Alan; Chan, Michael Towards ontology evolution in physics. (English) Zbl 1155.68521 Hodges, Wilfrid (ed.) et al., Logic, language, information and computation. 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1–4, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69936-1/pbk). Lecture Notes in Computer Science 5110. Lecture Notes in Artificial Intelligence, 98-110 (2008). MSC: 68T27 00A79 68T15 68T30 PDFBibTeX XMLCite \textit{A. Bundy} and \textit{M. Chan}, Lect. Notes Comput. Sci. 5110, 98--110 (2008; Zbl 1155.68521) Full Text: DOI Link
Lehmann, Jens; Hitzler, Pascal Foundations of refinement operators for description logics. (English) Zbl 1136.68491 Blockeel, Hendrik (ed.) et al., Inductive logic programming. 17th international conference, ILP 2007, Corvallis, OR, USA, June 19–21, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78468-5/pbk). Lecture Notes in Computer Science 4894. Lecture Notes in Artificial Intelligence, 161-174 (2008). MSC: 68T05 68N17 68T27 PDFBibTeX XMLCite \textit{J. Lehmann} and \textit{P. Hitzler}, Lect. Notes Comput. Sci. 4894, 161--174 (2008; Zbl 1136.68491) Full Text: DOI Link
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude Theorem proving modulo. (English) Zbl 1049.03011 J. Autom. Reasoning 31, No. 1, 33-72 (2003). Reviewer: Uwe Schöning (Ulm) MSC: 03B35 03F05 PDFBibTeX XMLCite \textit{G. Dowek} et al., J. Autom. Reasoning 31, No. 1, 33--72 (2003; Zbl 1049.03011) Full Text: DOI
Hanus, Michael; Lucas, Salvador; Middeldorp, Aart Strongly sequential and inductively sequential term rewriting systems. (English) Zbl 1339.68136 Inf. Process. Lett. 67, No. 1, 1-8 (1998). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{M. Hanus} et al., Inf. Process. Lett. 67, No. 1, 1--8 (1998; Zbl 1339.68136) Full Text: DOI Link
Gergatsoulis, Manolis Unfold/fold transformations for disjunctive logic programs. (English) Zbl 1336.68028 Inf. Process. Lett. 62, No. 1, 23-29 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Gergatsoulis}, Inf. Process. Lett. 62, No. 1, 23--29 (1997; Zbl 1336.68028) Full Text: DOI
van Oostrom, Vincent Higher-order families. (English) Zbl 1503.68164 Ganzinger, Harald (ed.), Rewriting techniques and applications. 7th international conference, RTA ’96, New Brunswick, NJ, USA, July 27–30, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1103, 392-407 (1996). MSC: 68Q42 PDFBibTeX XMLCite \textit{V. van Oostrom}, Lect. Notes Comput. Sci. 1103, 392--407 (1996; Zbl 1503.68164) Full Text: DOI
van Oostrom, Vincent Development closed critical pairs. (English) Zbl 1407.68244 Dowek, Gilles (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1074, 185-200 (1996). MSC: 68Q42 68N18 PDFBibTeX XMLCite \textit{V. van Oostrom}, Lect. Notes Comput. Sci. 1074, 185--200 (1996; Zbl 1407.68244) Full Text: DOI
Okui, Satoshi; Middeldorp, Aart; Ida, Tetsuo Lazy narrowing: strong completeness and eager variable elimination (extended abstract). (English) Zbl 1496.68167 Mosses, Peter D. (ed.) et al., TAPSOFT ’95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 915, 394-408 (1995). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Okui} et al., Lect. Notes Comput. Sci. 915, 394--408 (1995; Zbl 1496.68167) Full Text: DOI
Ariola, Zena M. Relating graph and term rewriting via Böhm models. (English) Zbl 1511.68131 Kirchner, Claude (ed.), Rewriting techniques and applications. 5th international conference RTA-93, Montréal, Canada, June 16–18, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 690, 183-197 (1993). MSC: 68Q42 68N20 PDFBibTeX XMLCite \textit{Z. M. Ariola}, Lect. Notes Comput. Sci. 690, 183--197 (1993; Zbl 1511.68131) Full Text: DOI
Caferra, Ricardo; Zabel, Nicolas A method for simultaneous search for refutations and models by equational constraint solving. (English) Zbl 0770.68104 J. Symb. Comput. 13, No. 6, 613-641 (1992). Reviewer: N.Zamov (Kazan’) MSC: 68T15 PDFBibTeX XMLCite \textit{R. Caferra} and \textit{N. Zabel}, J. Symb. Comput. 13, No. 6, 613--641 (1992; Zbl 0770.68104) Full Text: DOI
Mitchell, John C. Type inference with simple subtypes. (English) Zbl 0941.68541 J. Funct. Program. 1, No. 3, 245-285 (1991). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{J. C. Mitchell}, J. Funct. Program. 1, No. 3, 245--285 (1991; Zbl 0941.68541) Full Text: DOI