Towards a foundation of completion procedures as semidecision procedures

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.146, Iss.1, 1995-07, pp. : 199-242

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

Rolling horizon procedures for the single machine deterministic total completion time scheduling problem with release dates

By Chand S. Traub R. Uzsoy R.

Annals of Operations Research, Vol. 70, Iss. 1, 1997-01 ,pp. : 115-125

Springer Publishing Company

Access to resources Recommend Favorite

Computational assessment of synthetic procedures

By Goodman Jonathan Socorro Ingrid

Journal of Computer-Aided Molecular Design, Vol. 21, Iss. 6, 2007-06 ,pp. : 351-357

Springer Publishing Company

Access to resources Recommend Favorite

Choice procedures and rational selections

By Bandyopadhyay T.

Annals of Operations Research, Vol. 80, Iss. 1, 1998-01 ,pp. : 49-66

Springer Publishing Company

Access to resources Recommend Favorite

Patent Systems and Procedures

SourceOECD Science & Information Technology, Vol. 2009, Iss. 1, 2009-02 ,pp. : 68-100

OECD Publishing

Access to resources Recommend Favorite

Static correctness of hierarchical procedures

By Schwartzbach M.I.

Theoretical Computer Science, Vol. 156, Iss. 1, 1996-03 ,pp. : 177-201

Elsevier

Access to resources Recommend Favorite