Cs-Lo
거리 제약 만족 문제의 복잡도 전반적 분류
분해 가능한 매트로이드의 단항 이차 논리 모델 검사
약한 의미론의 유한 기초 실패와 불가능한 미래
결정적 마코프 체인과 무한 상태 시스템의 검증
임베디드 소프트웨어 안전성 검증을 위한 추상 해석 기반 타이밍 메모리 분석
침입자 이론에 대한 증명 이론적 분석
양자 최약 전제의 가환성에 대한 간단한 특징화
보안 프로토콜을 위한 휴리스틱 탐색 방법
확률 시스템을 위한 합류 축소 확장판
구성적 연결사와 시스템에 관한 연구
대규모 병렬 증명 이론 셀룰러 오토마타 접근
조건 논리의 일반적 모달 절삭 제거와 새로운 시퀀스 계산법
오픈 그래프와 모노이달 이론의 새로운 접근
폐쇄 선택과 통합 저차원 기저 정리
시간 제한 파리티 게임의 복잡도와 강인성 향상
비동기 프로그램 검증 알고리즘
콜바이밸류와 콜바이네임 대수적 람다 계산의 벡터 행동
PLEXIL의 재작성 논리 의미론과 Maude 구현
고정점 조합자와 시계형 베헴 트리의 모듈식 구성
무지의 인식에 대한 새로운 논리적 접근
시간과 레지스터 자동자 사이의 깊은 연관성
모달 일차 논리 조각의 특성화와 정의 가능성
