Cs-Lo
안전성과 지속성 특성을 보존하는 가장 거친 전치합동
정수 모듈러 SMT 문제의 인스턴스화
조언을 이용한 계산
일방향 분배법칙 하의 통합 알고리즘 복잡도 재조명
강한 연결 요소가 제한된 유한 그래프에서 모달 뮤 계산법
타입이 부여된 대수적 람다 계산의 의미론
무한 재작성에서 수렴성과 강수렴성의 모듈러티
무작위 매칭 알고리즘의 형식화와 검증
시간 초과 기반 선형 시제 논리 TLTL의 결정 가능성 및 복잡도 분석
평형 논리와 답변 집합 프로그래밍의 보간성 연구
자동인식 논리 조각들의 복잡도 분석
조건문과 순차 평가를 잇는 호어 맥카시 대수
재작성 2 이론의 일반적 일관성 정리와 응용
Coq에서 타입 클래스와 dyadic 유리수를 활용한 고속 정확 실수 구현
고차원 분산 프로세스 계산을 위한 환경 이중동형
초등선형논리에서 프로그램 추출 제어
표현력 높은 설명 논리에서 균일 보간과 망각의 기초
CTL 모델 검증은 거의 항상 순차적이다
선형 논리와 타르스키 가능성: 자유로운 양상 도입
확률적 연산 의미론을 활용한 람다 계산의 새로운 접근
선형 하이브리드 자동자를 위한 자동 스위칭 제어기 합성
미분 불변식과 미분 컷의 구조 및 제거
