research

The Joinability and Unification Problems for Confluent Semi-Constructor TRSs (Evolutionary Advancement in Fundamental Theories of Computer Science)

Authors
Publication date
1 May 2004
Publisher
京都大学数理解析研究所

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Kyoto University Research Information Repository

    redirect
    oaioai:repository.kulib.kyoto-u.a...
    Last time updated on 13/06/2016