Conditional Term Rewriting Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540192428, 9783540391661
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Confluence of conditional rewrite systems

1988 ◽  
pp. 31-44 ◽  
Author(s):  
Nachum Dershowitz ◽  
Mitsuhiro Okada ◽  
G. Sivakumar
Keyword(s):  
Rewrite Systems

An introduction to OBJ 3

1988 ◽  
pp. 258-263 ◽  
Author(s):  
Joseph Goguen ◽  
Claude Kirchner ◽  
Hélène Kirchner ◽  
Aristide Mégrelis ◽  
José Meseguer ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document