발행물

논문
저서
컨퍼런스

전체 논문

36

21

On proving the correctness of abstract machines
권기항
동아대 정보통신연구소 논문집, 1996

22

Scoping constructs in Logic Programming: implementation problems and their Solution
권기항
1995

23

Csoping constructs in logic programming: implementation problems and their solution
권기항
Journal of Logic Programming, 1995

24

Implementing polymorphic typing in a logic programming language
권기항
Computer Languages, 1994

25

Towards a verified abstract machine for logic programming with a notion of scope
권기항
Duke Tech. Report CS-1994-37, 1994

26

Implementing a notion of modlules in the Logic Programming language prolog
권기항
1993

27

Implementing Logic Programming Languages with Polymorphic Typing
권기항
1991

28

Computability Logic 기반 점진적 프로그램 구현법
김준현, 김지승, 권기항
한국정보기술학회논문지, 2015

29

계산논리 기반 원본 코드 개념
김지승, 김준현, 권기항
한국정보기술학회논문지, 2014

30

환자의 생체정보를 이용한 모니터링 서비스 시스템 구현
권기항, 정영봉, 강대성
한국정보기술학회논문지, 2012