학술논문 – 부산대학교 도서관

학술논문

replay검색결과 돌아가기

search검색화면

Generalized rewrite theories, coherence completion, and symbolic methods

Document Type

Article

Author

Meseguer, José

Source

In Journal of Logical and Algebraic Methods in Programming January 2020 110

Subject

Language

ISSN

2352-2208

Online Access

Full Text (ScienceDirect 종량제) Full Text (ScienceDirect O/A) Web of Science JCR 저널정보 Scopus Find it@PNU

이메일