Buscar
Mostrando ítems 1-2 de 2
Artículo
Lexical Object Theory: Specification Level
(Springer, 1998)
Unification has become a major paradigm in Mathematical and Computational Linguistics. The research done in this area may be classified in four main streams: feature structures as an adequate model for the description of ...
Artículo
Maude as a Metalanguage
(Elsevier, 1998)
One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive ...