Cs-Lo
테스팅 의미론에서 명시적 공정성
변수 결합과 대칭 모노이달 폐쇄 이론을 이용한 빅그래프 재구성
정규모듈 격자와 포울리스 반군 및 대거 핵 범주
순환 공유 트리 구조를 위한 초기 대수 의미론
프로세스 대수의 추상 데이터 타입화
자크 헤르바르의 논리학 유산과 자동 증명
에너지 패리티 게임
시간 제한 런타임 검증을 위한 단조 차이 논리
정보 삭제를 위한 사용자 모델
그래프 재작성과 편극 복제
실현가능성 대수와 실수의 좋은 순서화 프로그램
프레시버 산술 확장에서 양화자 없는 보간의 한계와 새로운 양화자 포함 절차
비용이 부과된 연산을 위한 계산법
숲 논리 프로그램을 이용한 추론 최적화
통계적 모델 검증의 모든 것
제약 처리 규칙을 위한 완전하고 종료되는 실행 모델
약한 감축을 위한 초전개 연구
정확한 리만 적분의 컴퓨터 검증 구현
형태학적 수열의 거의 주기성 판정 기준
대화 게임을 위한 추상 기계
계산을 위한 두 단계 논리 접근법
양성 등식 없는 1차 논리 모델 검증: 불리언 구조와 3정점 방향 그래프의 복합 복잡도 구분
