An order-sorted resolution in theory and practice

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.185, Iss.2, 1997-10, pp. : 393-410

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

Order-sorted algebraic specifications with higher-order functions

By Haxthausen A.E.

Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. : 157-185

Elsevier

Access to resources Recommend Favorite

Dynamically Typed Computations for Order-sorted Equational Presentations

By Hintermeier C. Kirchner C. Kirchner H.

Journal of Symbolic Computation, Vol. 25, Iss. 4, 1998-04 ,pp. : 455-526

Academic Press

Access to resources Recommend Favorite

Special Issue on Order-sorted Rewriting: Foreword of the Guest Editor

By Smolka G.

Journal of Symbolic Computation, Vol. 25, Iss. 4, 1998-04 ,pp. : 395-395

Academic Press

Access to resources Recommend Favorite

Theory and Practice

Production Planning and Control, Vol. 17, Iss. 8, 2006-12 ,pp. : 755-755

Taylor & Francis Ltd

Access to resources Recommend Favorite

Face Hallucination: Theory and Practice

By Liu Ce Shum Heung-Yeung Freeman William

International Journal of Computer Vision, Vol. 75, Iss. 1, 2007-10 ,pp. : 115-134

Springer Publishing Company

Access to resources Recommend Favorite