http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Weakest Preconditions in Fibrations
Aguirre, Alejandro; Katsumata, Shin-ya Elsevier Science B. V., Amsterdam 2020 p.5-27
Bifibrations of Polycategories and Classical Linear Logic
Blanco, Nicolas; Zeilberger, Noam Elsevier Science B. V., Amsterdam 2020 p.29-52
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes
Chen, Linan; Clerc, Florence; Panangaden, Prakash Elsevier Science B. V., Amsterdam 2020 p.53-77
Equational Logic and Categorical Semantics for Multi-Languages
Buro, Samuele; Crole, Roy; Mastroeni, Isabella Elsevier Science B. V., Amsterdam 2020 p.79-103
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems
Edalat, Abbas; Farjudian, Amin; Mohammadian, Mina; Pattinson, Dirk Elsevier Science B. V., Amsterdam 2020 p.105-128
Monads, Partial Evaluations, and Rewriting
Fritz, Tobias; Perrone, Paolo Elsevier Science B. V., Amsterdam 2020 p.129-148
Parametrized Fixed Points and Their Applications to Session Types
Kavanagh, Ryan Elsevier Science B. V., Amsterdam 2020 p.149-172
Paine, Thomas Elsevier Science B. V., Amsterdam 2020 p.191-209