Built-in Variant Generation and Unification, and Their Applications in Maude 2.7-Reference-Cited by-同舟云学术

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7

Published:2016 Issue: Volume: Page:183-192
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Durán Francisco,Eker Steven,Escobar Santiago,Martí-Oliet Narciso,Meseguer José,Talcott Carolyn

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-40229-1_13

Reference18 articles.

1. Bae, K., Escobar, S., Meseguer, J.: Abstract logical model checking of infinite-state systems using narrowing. In: van Raamsdonk, F., (ed.) 24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24–26, 2013, Eindhoven, The Netherlands. LIPIcs vol. 21, pp. 81–96. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2013)

2. Lecture Notes in Computer Science;C Bouchard,2013

3. Cholewa, A., Meseguer, J., Escobar, S.: Variants of variants and the finite variant property. Technical report, University of Illinois at Urbana-Champaign (2014). http://hdl.handle.net/2142/47117

4. Lecture Notes in Computer Science;M Clavel,2009

5. Lecture Notes in Computer Science;M Clavel,2007

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

1. A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems;Journal of Logical and Algebraic Methods in Programming;2023-01

2. Variant-Based Equational Anti-unification;Logic-Based Program Synthesis and Transformation;2022

3. Terminating Non-disjoint Combined Unification;Logic-Based Program Synthesis and Transformation;2021

4. Programming and symbolic computation in Maude;Journal of Logical and Algebraic Methods in Programming;2020-01

5. Symbolic Timed Trace Equivalence;Foundations of Security, Protocols, and Equational Reasoning;2019