Cs-Lo
시간 제한 도달 가능성의 복잡도와 고정점 계산
대칭과 자기쌍대성으로 본 확률 모델 범주의 양자 구조
시간다트: 닫힌 타이머 자동자를 위한 효율적 상태공간 표현
직관주의적 램머리 정리의 새로운 형태
제어 이전에 관한 논리적 추론
트리에서 가중치 MSO를 분기 전이 폐쇄 논리로 규정하기
퍼지 논리 프로그래밍의 두 모순이 연속체 가설과 선택 공리를 부정한다
강한 의미론을 갖는 P A 시간 페트리 네트에서의 인터리빙 연구
시간 제한과 정지 문제에 대한 재정규화
명시적 치환 이론과 안전 완전 합성
FO2 양자화 교대 계층의 언어 다양성 및 결정 가능성
동적 논리 만족성 판정을 위한 실시간 테이블라우 기반 알고리즘
무한 리스트 논리 프로그램 변환
연속시간 메트릭 시제 논리의 샘플링 이론
양상 논리와 인접 모달리티 증명 이론과 의미론 및 정보 추론
전역 제약조건의 ASP 재구성
자격과 근접성을 갖는 CLP를 위한 선언적 의미론
모달 논리와 근사 귀납 원리: 컴팩트성 정리와 프로세스 동등성
술어 변환자와 공모나드와 해석
프로세스 행동 공식과 테스트 비교
파동 방정식 수치 해법의 형식적 증명 방법 오류
유한성 구조 전이와 그 활용
