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

학술논문

replay검색결과 돌아가기

search검색화면

Programming and symbolic computation in Maude

Document Type

Article

Author

Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn

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

이메일