Cs-Lo
논리웹의 상호 배타적 규칙 구현
다중 에이전트 시스템을 위한 일차 논리에서 지식과 시간의 상호작용 완전성 연구
다중 재시작과 제한된 폭 해법을 갖는 절 학습 알고리즘
다중값 추상 논리와 에프실론 티 확장 연구
다차원 평균 이익 게임을 위한 초평면 분리 기법
대여형 페트리넷과 계약 모델
명제 논리에서 모달 논리까지 기본 함축과 기본 항의 확장
명칭 역역 수 제한과 결합 질의 무한성의 힘
모나드 변환자의 형식 검증
무한 객체 사양 동등성의 복잡도 전격 분석
무한 수평 사양의 특성화와 계산 마코프 과정
분리 가능한 안정 모델을 위한 모듈성 이론
비간섭 타이머 시스템의 제어와 합성
비동형성은 보렐 집합이 아니다
서브로그리듬 수준의 균일 불리언 증명망
시간 자동자 프로세스의 게임 기반 타임드 관계
알레프 제로 범주 구조의 양성 혼합 정의 보존 정리
양방향 문맥 자유 헤지 자동기의 재작성 폐쇄와 확장 규칙
연결 제한 구조에서 μ계산 교대 계층 붕괴
예기치 않은 분산 재구성 상황에서 건축 양식 강제 적용
인덕티브 정의를 포함한 명제 논리를 위한 시퀀스 연산자 증명 체계
자동 함수 주석을 활용한 호어 논리 확장
