Inequational Deduction as Term Graph Rewriting Journal Articles

authors

• Corradini, Andrea
• Gadducci, Fabio
• Kahl, Wolfram
• König, Barbara

status

• published 

publication date

• September 2007

has subject area

• 0802 Computation Theory and Mathematics (FoR)
• 0803 Computer Software (FoR)
• 1702 Cognitive Sciences (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Electronic Notes in Theoretical Computer Science  Journal

keywords

• 46 Information and Computing Sciences
• 4613 Theory Of Computation

Digital Object Identifier (DOI)

• 10.1016/j.entcs.2002.09.004

start page

• 31

end page

• 44

volume

• 72

issue

• 1