발행물

논문
저서
컨퍼런스

전체 논문

36

11

A proof procedure for testing membership in regular expressions
권기항, 하홍표, 김지승
International Journal of Computer Science and Information Security, 2010

12

Algorithm as Defining Dynamic Systems
권기항, 하홍표
International Journal of Computer Science and Information Security, 2009

13

Extending LogicWeb via hereditary Harrop formulas
강대성, 권기항
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2008

14

A query system for texts with macros
권기항, 강대성, 김진수
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2008

15

accessing objects locally in object-oriented languages
권기항
journal of object technology, 2005

16

함수형 언어의 패턴 매칭 기능과 제약에 관한 연구
권기항
한국정보처리학회, 1999

17

HTML 기반 지능형 도움말 시스템 설계 및 구현
권기항
멀티미디어학회 논문지, 1999

18

객체 지형 모델에서 객체의 가용 범위 도입에 관한 연구
권기항
멀티미디어학회 논문지, 1999

19

A structured presentation of a closure-based compilation method for a scoping notion in logic programming
권기항
Journal of Universal computer Science, 1997

20

A notion of modules for term rewriting systems
권기항
동아대 생산기술연구소 논문집, 1997