학술논문

2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)

Document Type

Text

Author

Source

Subject

Informatik
Conference proceedings, Concurrent Programming, Formal Definitions and Theory, Specifying and Verifying and Reasoning about Programs, Semantics of Programming Languages, Mathematical Logic, Grammars and Other Rewriting Systems, Deduction and Theorem Proving
Computer Science

Language

English

Online Access

Open Access (Europeana) Find it@PNU

이메일

부산대학교 도서관

Online Access

메일 발송