Cs-Lo
비동형성은 보렐 집합이 아니다
서브로그리듬 수준의 균일 불리언 증명망
시간 자동자 프로세스의 게임 기반 타임드 관계
알레프 제로 범주 구조의 양성 혼합 정의 보존 정리
양방향 문맥 자유 헤지 자동기의 재작성 폐쇄와 확장 규칙
연결 제한 구조에서 μ계산 교대 계층 붕괴
예기치 않은 분산 재구성 상황에서 건축 양식 강제 적용
인덕티브 정의를 포함한 명제 논리를 위한 시퀀스 연산자 증명 체계
자동 함수 주석을 활용한 호어 논리 확장
자원 람다 계산에서의 표준화
전환분기 반복 연산의 단순화와 정적성 보존
종료 인증서 자동 검증 도구 개발과 형식 검증
집합 기반 논리 프로그램의 비근거 집합과 잘 정의된 의미론
쿼리 기반 온톨로지 가져오기 숨겨진 내용에 대한 추론
평형 논리와 답집합 프로그래밍의 보간성 연구
푸시다운 시스템 동등성 문제의 비초등 복잡도 증명
프로포지셔널 구간 시간 논리의 무한 시간 완전 공리계
확률적 모달 뮤계산에 독립 곱 연산자를 도입한 새로운 게임 의미론
확률적 모델 검증을 위한 파레토 곡선
확장된 교회 튜링 가설의 형식화와 증명
완화 메모리 모델을 위한 운영 의미론
