Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Fundamentals of context-sensitive rewriting ? Salvador Lucas
 

Summary: 

Fundamentals of context-sensitive rewriting ?



Salvador Lucas


Departamento de Sistemas Inform'aticos y Computaci'on
Universidad Polit'ecnica de Valencia
Camino de Vera s/n, E-46071 Valencia, Spain.
e.mail: slucas@dsic.upv.es



Abstract.Recently we have introduced a novel class of rewrite relations we*
* call context-
sensitive rewriting that proves useful to mechanize a particular class of *
*inference systems. In

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences