Unification of infinite sets of terms schematized by primal grammars

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.176, Iss.1, 1997-04, pp. : 111-158

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Remark on Infinite Matching vs Infinite Unification

By Intrigila B. Zilli M.V.

Journal of Symbolic Computation, Vol. 21, Iss. 3, 1996-03 ,pp. : 289-292

Academic Press

Access to resources Recommend Favorite

Unification of Concept Terms in Description Logics

By Baader F. Narendran P.

Journal of Symbolic Computation, Vol. 31, Iss. 3, 2001-03 ,pp. : 277-305

Academic Press

Access to resources Recommend Favorite

Metamer Crossovers of Infinite Metamer Sets

By Finlayson G. D. Morovič P. M.

Color and Imaging Conference, Vol. 2000, Iss. 1, 2000-01 ,pp. : 13-17

Society for Imaging Science and Technology

Access to resources Recommend Favorite

Assessing and generating test sets in terms of behavioural adequacy

SOFTWARE TESTING, VERIFICATION & RELIABILITY (ELECTRONIC), Vol. 25, Iss. 8, 2015-12 ,pp. : 749-780

John Wiley & Sons Inc

Access to resources Recommend Favorite

Existence Results for Primal and Dual Generalized Vector Equilibrium Problems With Applications to Generalized Semi-Infinite Programming

By Lin Lai-Jiu

Journal of Global Optimization, Vol. 33, Iss. 4, 2005-12 ,pp. : 579-595

Springer Publishing Company

Access to resources Recommend Favorite