Cs-Lo
람다 항의 계수와 무작위 생성
군집 위의 다항함자와 대칭 데이터 타입
LTL에서 부치 자동화로 빠르고 결정적인 변환
좌측 순차 논리의 완전성 연구
정수선형계획 이론 모듈
논리와 복잡망의 만남
기록 완성을 통한 방정식 논리 증명 탐색과 검증
모달 함수형 다이얼렉티카 해석의 새로운 전개
정수 경계 전파의 복잡성
하이퍼테이블라우 기반 설명 논리 추론 혁신
인과 추론의 공리화 재귀·고유·일반 모델 완전 체계
수학적 추상화 이론과 자가진화형 문제 해결 시스템
다항시간을 포착하는 의존 논리의 작은 조각
DL Lite에서 부정 질의 답변을 위한 설명 추론
제한선형 명제 스키마의 결정가능성 연구
의존성 시퀀스로 보는 양자 제거
숲 대수의 꼬임곱과 트리 논리의 새로운 적용
의존 논리의 일차 논리적 결과를 위한 공리계 구축
변수 망각을 통한 지식 추론
생성자를 갖는 람다 계산의 범주론적 모델
관계 의미론 기반 프로그램 추론과 교육용 도구
단어 위 논리 조각들의 격자 구조
