Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
1 Introduction disequations normal equational theory
 

Summary: ?
?
1 2
1
2
1 Introduction
Abstract.
Keywords:
disequations normal equational theory
Conditional Narrowing with Constructive
Negation
normal theories
completion stratification
completion stratified
Departamento de Sistemas Inform'aticos y Computaci'on,
Universidad Polit'ecnica de Valencia,
Camino de Vera s/n, Apdo. 22012, 46020 Valencia, Spain.
Dipartimento di Informatica,
Universit`a di Pisa,
Corso Italia 40, 56125 Pisa, Italy

  

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

 

Collections: Computer Technologies and Information Sciences