Advanced Search

    column
    On the Design of Wide-Spectrum Specification Language FGSPEC
    LU: Jian
    1991, 28(2): 1-5.
    Abstract
    The Relativized Completeness of UP
    LU: Yizhong, SUN Huicheng
    1991, 28(2): 6-11.
    Abstract
    A Method for Portability and Retargetability of Firmware Development Environments
    JIANG Hengyuan, CHEN Huasheng
    1991, 28(2): 12-14.
    Abstract
    Analysis and Research of Virtual Memory Management Mechanism in OS/2
    QIAN Peide
    1991, 28(2): 15-19,11.
    Abstract
    Authorization Algorithm Design in Distributed Information Systems
    WU Zhenrong
    1991, 28(2): 20-26.
    Abstract
    Loop Interchanging and Recurrence Breaking
    GAO Nianshu
    1991, 28(2): 27-34.
    Abstract
    An Automatic Programming System Based on Type Theory
    YIN Hongbing, GUO Fushun
    1991, 28(2): 35-39.
    Abstract
    HYPERTEXT
    LIU Yanheng
    1991, 28(2): 40-45,26.
    Abstract
    A Test Generation System for Combinational Circuits
    WANG Xinling, WANG Zhanning
    1991, 28(2): 46-50.
    Abstract
    A Non-Monotonic Heuristic Natural Deduction System
    WANG Yuanyuan
    1991, 28(2): 51-57.
    Abstract
    Email Alert RSS