Nominal C-Unification-Reference-Cited by-同舟云学术

Nominal C-Unification

Published:2018 Issue: Volume: Page:235-251
ISSN:0302-9743
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Ayala-Rincón Mauricio,de Carvalho-Segundo Washington,Fernández Maribel,Nantes-Sobrinho Daniele

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-94460-9_14

Reference30 articles.

1. Aoto, T., Kikuchi, K.: A rule-based procedure for equivariant nominal unification. In: Pre-proceeding of Higher-Order Rewriting (HOR), pp. 1–5 (2016)

2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);T Aoto,2016

3. Ayala-Rincón, M., Carvalho-Segundo, W., Fernández, M., Nantes-Sobrinho, D.: A formalisation of nominal equivalence with associative-commutative function symbols. ENTCS 332, 21–38 (2017)

4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Ayala-Rincón,2017

5. Ayala-Rincón, M., Fernández, M., Nantes-Sobrinho, D.: Nominal narrowing. In: Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD). LIPIcs, vol. 52, pp. 11:1–11:17 (2016)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Nominal AC-Matching;Lecture Notes in Computer Science;2023

2. Nominal Unification and Matching of Higher Order Expressions with Recursive Let;Fundamenta Informaticae;2022-05-05

3. Unranked Nominal Unification;Lecture Notes in Computer Science;2022

4. Formalising nominal C-unification generalised with protected variables;Mathematical Structures in Computer Science;2021-03

5. A general approach to define binders using matching logic;Proceedings of the ACM on Programming Languages;2020-08-02