http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Normalization of N-Graphs via Sub-N-Graphs
Andrade, Laís; Carvalho, Ruan; de Oliveira, Anjolina; de Queiroz, Ruy Elsevier Science B. V., Amsterdam 2016 p.3-19
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations
Arieli, Ofer; Straßer, Christian Elsevier Science B. V., Amsterdam 2016 p.21-37
Checking Overlaps of Nominal Rewriting Rules
Ayala-Rincón, Mauricio; Fernández, Maribel; Gabbay, Murdoch James; Rocha-Oliveira, Ana Cristina Elsevier Science B. V., Amsterdam 2016 p.39-56
Completeness in PVS of a Nominal Unification Algorithm
Ayala-Rincón, Mauricio; Fernández, Maribel; Rocha-Oliveira, Ana Cristina Elsevier Science B. V., Amsterdam 2016 p.57-74
Strong Normalization through Intersection Types and Memory
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel Elsevier Science B. V., Amsterdam 2016 p.75-91
Proof Certificates for Equality Reasoning
Chihani, Zakaria; Miller, Dale Elsevier Science B. V., Amsterdam 2016 p.93-108
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
Copello, Ernesto; Tasistro, Álvaro; Szasz, Nora; Bove, Ana; Fernández, Maribel Elsevier Science B. V., Amsterdam 2016 p.109-124
Canonical HybridLF: Extending Hybrid with Dependent Types
Crole, Roy L.; Furniss, Amy Elsevier Science B. V., Amsterdam 2016 p.125-142
de Paiva, Valeria; Ritter, Eike Elsevier Science B. V., Amsterdam 2016 p.143-161