A Certified Functional Nominal C-Unification Algorithm-Reference-Cited by-同舟云学术

A Certified Functional Nominal C-Unification Algorithm

Published:2020 Issue: Volume: Page:123-138
ISSN:0302-9743
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Ayala-Rincón Mauricio,Fernández Maribel,Silva Gabriel Ferreira,Nantes-Sobrinho Daniele

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-45260-5_8

Reference22 articles.

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

2. Lecture Notes in Computer Science;M Ayala-Rincón,2018

3. Ayala-Rincón, M., de Carvalho-Segundo, W., Fernández, M., Nantes-Sobrinho, D., Rocha-Oliveira, A.: A formalisation of nominal alpha-equivalence with A, C, and AC function symbols. Theoret. Comput. Sci. 781, 3–23 (2019)

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

5. Ayala-Rincón, M., Fernández, M., Nantes-Sobrinho, D.: Fixed-point constraints for nominal equational unification. In: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD). LIPIcs, vol. 108, pp. 7:1–7:16 (2018)

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

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

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

3. Rewriting with generalized nominal unification;Mathematical Structures in Computer Science;2020-05-22