On Solving Nominal Fixpoint Equations-Reference-Cited by-同舟云学术

On Solving Nominal Fixpoint Equations

Published:2017 Issue: Volume: Page:209-226
ISSN:0302-9743
Container-title:Frontiers of Combining Systems
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-66167-4_12

Reference15 articles.

1. Aoto, T., Kikuchi, v: 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). Post-proceeding of Eleventh Logical and Semantic Frameworks with Applications (LSFA)

4. Ayala-Rincón, M., Carvalho-Segundo, W., Fernández, M., Nantes-Sobrinho, D.: Nominal C-Unification. Av (2017). http://ayala.mat.unb.br/publications.html

5. Ayala-Rincón, M., Fernández, M., Nantes-Sobrinho, D.: Nominal narrowing. In: Proceedings of 1st International Conference on Formal Structures for Computation and Deduction (FSCD), vol. 52 of LIPIcs, pp. 1–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)

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

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

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

3. On Solving Nominal Disunification Constraints;Electronic Notes in Theoretical Computer Science;2020-03

4. ON NOMINAL SYNTAX AND PERMUTATION FIXED POINTS;LOG METH COMPUT SCI;2020

5. A Certified Functional Nominal C-Unification Algorithm;Logic-Based Program Synthesis and Transformation;2020