dependency pair
Recently Published Documents

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formalizing the dependency pair criterion for innermost termination

2020 ◽  
Vol 195 ◽  
pp. 102474
Author(s):  
Ariane Alves Almeida ◽  
Mauricio Ayala-Rincón
Keyword(s):  
Dependency Pair

scholarly journals The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques

2020 ◽  
Vol 64 (8) ◽  
pp. 1611-1662 ◽  
Author(s):  
Salvador Lucas ◽  
José Meseguer ◽  
Raúl Gutiérrez
Keyword(s):  
Rewrite Systems ◽  
Implementation Techniques ◽  
Dependency Pair

Response Selection and Automatic Message-Response Expansion in Retrieval-Based QA Systems using Semantic Dependency Pair Model

2019 ◽  
Vol 18 (1) ◽  
pp. 1-24 ◽  
Author(s):  
Ming-Hsiang Su ◽  
Chung-Hsien Wu ◽  
Kun-Yi Huang ◽  
Wu-Hsuan Lin
Keyword(s):  
Response Selection ◽  
Pair Model ◽  
Dependency Pair ◽  
Semantic Dependency

scholarly journals A Static Higher-Order Dependency Pair Framework

2019 ◽  
pp. 752-782 ◽  
Author(s):  
Carsten Fuhs ◽  
Cynthia Kop
Keyword(s):  
Higher Order ◽  
Dependency Pair

scholarly journals The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

2018 ◽  
Vol 96 ◽  
pp. 74-106 ◽  
Author(s):  
Salvador Lucas ◽  
José Meseguer ◽  
Raúl Gutiérrez
Keyword(s):  
Rewrite Systems ◽  
Dependency Pair

scholarly journals Static Dependency Pair Method in Functional Programs

2018 ◽  
Vol E101.D (6) ◽  
pp. 1491-1502 ◽  
Author(s):  
Keiichirou KUSAKARI
Keyword(s):  
Pair Method ◽  
Dependency Pair

scholarly journals Reducing Relative Termination to Dependency Pair Problems

2015 ◽  
pp. 163-178 ◽  
Author(s):  
José Iborra ◽  
Naoki Nishida ◽  
Germán Vidal ◽  
Akihisa Yamada
Keyword(s):  
Dependency Pair ◽  
Relative Termination
Load More ...
Sign in / Sign up

Export Citation Format

Share Document