operational termination
Recently Published Documents

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

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

scholarly journals Using Well-Founded Relations for Proving Operational Termination

2019 ◽  
Vol 64 (2) ◽  
pp. 167-195 ◽  
Author(s):  
Salvador Lucas
Keyword(s):  
Operational Termination

Localized Operational Termination in General Logics

2015 ◽  
pp. 91-114 ◽  
Author(s):  
Salvador Lucas ◽  
José Meseguer
Keyword(s):  
Operational Termination

scholarly journals Operational Termination of Membership Equational Programs: the Order-Sorted Way

2009 ◽  
Vol 238 (3) ◽  
pp. 207-225 ◽  
Author(s):  
Salvador Lucas ◽  
José Meseguer
Keyword(s):  
Operational Termination

scholarly journals Proving operational termination of membership equational programs

2008 ◽  
Vol 21 (1-2) ◽  
pp. 59-88 ◽  
Author(s):  
Francisco Durán ◽  
Salvador Lucas ◽  
Claude Marché ◽  
José Meseguer ◽  
Xavier Urbain
Keyword(s):  
Operational Termination
Load More ...
Sign in / Sign up

Export Citation Format

Share Document