×

Found 60 Documents (Results 1–60)

Nominal AC-matching. (English) Zbl 07810723

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 53-68 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. (English) Zbl 1511.68013

Lecture Notes in Computer Science 13467. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-16680-8/pbk; 978-3-031-16681-5/ebook). xv, 349 p. (2022).
MSC:  68-06 68Vxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Matching and generalization modulo proximity and tolerance relations. (English) Zbl 07570786

Ö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, 323-342 (2022).
MSC:  68N17 68Q42 68T37
PDFBibTeX XMLCite
Full Text: DOI

A rule-based system for computation and deduction in Mathematica. (English) Zbl 1517.68425

Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 57-74 (2020).
MSC:  68W30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Specification and analysis of ABAC policies in a rule-based framework. (English) Zbl 07388320

Jaiani, George (ed.) et al., Applications of mathematics and informatics in natural sciences and engineering, AMINSE 2019. Selected papers based on the presentations at the 4th conference, Tbilisi, Georgia, September 23–26, 2019. Cham: Springer. Springer Proc. Math. Stat. 334, 101-116 (2020).
MSC:  68-XX
PDFBibTeX XMLCite
Full Text: DOI

Extending the \(\rho\) log calculus with proximity relations. (English) Zbl 07388319

Jaiani, George (ed.) et al., Applications of mathematics and informatics in natural sciences and engineering, AMINSE 2019. Selected papers based on the presentations at the 4th conference, Tbilisi, Georgia, September 23–26, 2019. Cham: Springer. Springer Proc. Math. Stat. 334, 83-100 (2020).
MSC:  68-XX
PDFBibTeX XMLCite
Full Text: DOI

A generic framework for higher-order generalizations. (English) Zbl 1528.68156

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 10, 19 p. (2019).
MSC:  68Q42 03B40
PDFBibTeX XMLCite
Full Text: DOI

Higher-order equational pattern anti-unification. (English) Zbl 1462.68092

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 12, 17 p. (2018).
MSC:  68Q42 03B40 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Term-graph anti-unification. (English) Zbl 1462.68091

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 9, 17 p. (2018).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

MK-fuzzy automata and MSO logics. (English) Zbl 1483.68164

Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 106-120 (2017).
MSC:  68Q45 03B70
PDFBibTeX XMLCite
Full Text: Link

Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. (English) Zbl 1381.68002

Lecture Notes in Computer Science 10693. Cham: Springer (ISBN 978-3-319-72452-2/pbk; 978-3-319-72453-9/ebook). xi, 462 p. (2017).
MSC:  68-06 65-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

Nominal unification of higher order expressions with recursive let. (English) Zbl 1485.68074

Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 328-344 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Constructing orthogonal designs in powers of two: Gröbner bases meet equational unification. (English) Zbl 1366.68122

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 241-256 (2015).
MSC:  68Q42 05B15 13P10
PDFBibTeX XMLCite
Full Text: DOI

Nominal anti-unification. (English) Zbl 1366.68106

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 57-73 (2015).
MSC:  68Q42 68Q25
PDFBibTeX XMLCite
Full Text: DOI

A library of anti-unification algorithms. (English) Zbl 1432.68426

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 543-557 (2014).
MSC:  68T27 68V35
PDFBibTeX XMLCite
Full Text: DOI

Unranked second-order anti-unification. (English) Zbl 1372.68151

Kohlenbach, Ulrich (ed.) et al., Logic, language, information, and computation. 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1–4, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44144-2/pbk). Lecture Notes in Computer Science 8652, 66-80 (2014).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Constraint logic programming for hedges: a semantic reconstruction. (English) Zbl 1416.68031

Codish, Michael (ed.) et al., Functional and logic programming. 12th international symposium, FLOPS 2014, Kanazawa, Japan, June 4–6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8475, 285-301 (2014).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A variant of higher-order anti-unification. (English) Zbl 1356.68117

van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 113-127 (2013).
MSC:  68Q42 03B40
PDFBibTeX XMLCite
Full Text: DOI

Anti-unification for unranked terms and hedges. (English) Zbl 1236.68137

Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 219-234, electronic only (2011).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Order-sorted unification with regular expression sorts. (English) Zbl 1236.68174

Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 193-208, electronic only (2010).
MSC:  68Q45 03B70
PDFBibTeX XMLCite
Full Text: DOI Link

Regular hedge language factorization revisited. (English) Zbl 1250.68171

Gao, Yuan (ed.) et al., Developments in language theory. 14th international conference, DLT 2010, London, ON, Canada, August 17–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14454-7/pbk). Lecture Notes in Computer Science 6224, 328-339 (2010).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

The Theorema environment for interactive proof development. (English) Zbl 1143.68581

Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 261-275 (2005).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI

Matching with regular constraints. (English) Zbl 1143.68590

Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 215-229 (2005).
MSC:  68T20 68W05
PDFBibTeX XMLCite
Full Text: DOI

Predicate logic with sequence variables and sequence function symbols. (English) Zbl 1109.68111

Asperti, Andrea (ed.) et al., Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19–21, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23029-7/pbk). Lecture Notes in Computer Science 3119, 205-219 (2004).
MSC:  68T30 03B10 03B70 68T15
PDFBibTeX XMLCite
Full Text: DOI

Solving equations involving sequence variables and sequence functions. (English) Zbl 1109.68579

Buchberger, Bruno (ed.) et al., Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23212-5/pbk). Lecture Notes in Computer Science 3249. Lecture Notes in Artificial Intelligence, 157-170 (2004).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI

Equational prover of THEOREMA. (English) Zbl 1038.68570

Nieuwenhuis, Robert (ed.), Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9–11, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40254-3/pbk). Lect. Notes Comput. Sci. 2706, 367-379 (2003).
MSC:  68T15 68Q42
PDFBibTeX XMLCite
Full Text: Link

Pattern unification with sequence variables and flexible arity symbols. (English) Zbl 1270.68130

Eklund, Patrick (ed.) et al., UNCL’2002. Unification in non-classical logics. Papers from the ICALP satellite workshop, Málaga, Spain, July 12, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 66, No. 5, 52-69 (2002).
MSC:  68Q42 03B60
PDFBibTeX XMLCite
Full Text: DOI

Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. (English) Zbl 1072.68580

Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 290-304 (2002).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software