Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.

SEARCH GUIDE  Download Search Tip PDF File

  • articleNo Access

    FINDING FINITE AUTOMATA THAT CERTIFY TERMINATION OF STRING REWRITING SYSTEMS

  • articleNo Access

    TERMINATION OF ABSTRACT REDUCTION SYSTEMS

  • articleNo Access

    TERMINATION ANALYSIS OF LINEAR LOOPS

  • articleNo Access

    Density functional theory study of adsorption and diffusion of potassium atoms on zigzag graphene nanoribbons with different terminal groups

  • articleNo Access

    MDG-BASED STATE ENUMERATION BY RETIMING AND CIRCUIT TRANSFORMATION

  • articleNo Access

    Quadratic normalization in monoids

  • articleFree Access

    Correspondence between factorability and normalization in monoids

  • chapterNo Access

    TERMINATION OF CARDIAC REENTRY