Open Access System for Information Sharing

Login Library
검색

  Browse by Researchers
BAE, KYUNGMIN(배경민) orcid scopus
Department
Dept of Computer Science & Engineering(컴퓨터공학과)
Major(s)
-

Co-researchers

    Keyword

    Publication & Time Cited Count (For the Last 5 years)

    Results 1-1 of 1 (Search time: 0.0 seconds).
    Export

    Date issued

    Type

    Journal Registered

    Applied search limites :
    Journal Registered : scopus Journal Registered : scopus Subject : Rewriting modulo
    Article
    Symbolic state space reduction with guarded terms for rewriting modulo SMTSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 178, page. 20 - 42, 2019-06

    1
    개인정보처리방침 Personal Information Protection Policy

    library@postech.ac.kr Tel: 054-279-2548

    Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.

    Browse

    Login Library Help