Cs-Lo
시간 지속성을 위한 인과 의미론
마틴 로프 무작위점에 대한 비르코프 평균정리의 구성적 버전
제한된 모델 검증을 위한 메트릭 인코딩
하이브리드 CTL·CTL+의 표현력·간결성·복잡도 연구
프로로그 기반 효율적 설명 논리 추론 시스템
고전 논리를 위한 크립키 모델
동적 무한 상태 프로세스 네트워크를 위한 범용 분석 프레임워크
대수적 덱스터 기반 하이퍼텍스트 참조 모델
이중유한 추 공간
놀라운 시험 역설과 제2 불완전성 정리
인터랙티브 입출력을 위한 While 언어의 재개와 약 약동등성 및 대규모 단계 의미론
범주론으로 푸는 재귀 프로그램 스킴의 일반적 해법
완전하지 케어 기반 SAT 최적화 기법
그래프의 무한희소성, 안정성 그리고 독립성 특성의 삼위일체
연관 규칙의 중복성·추론 체계와 최소 크기 기반
순차적 온톨로지 디버깅을 위한 최적 질문 전략
산업용 수준 정식 인증 SAT 해결기
단순 확률 다중 플레이어 게임에서 내시 균형의 복잡성
동시 안전·도달 게임의 종료 기준
정규 확장의 새로운 시각
제약 원자 기반 논리 프로그램의 안정 모델 의미론 새로운 정형화
IZF 교체 규칙 정규화와 실현가능성 연구
