Cs-Lo
프로로그 기반 불확실성 로직의 변환 구현
대칭 파괴 기반 답변 집합 솔버
LF로 Isabelle 표현하기
단일 인스턴스 증분 SAT 기반 증명·반례 추출 추상화 통합 기법
실시간 검증 문제의 간소화: 타임아웃·캘린더 모델을 무시계 유한 상태 모델로 변환
베타 정규형을 위한 제한 교차 타입 시스템의 주요 타이핑
선형 λ 계산의 최소 튜링 완전성: 무한 재귀와 최소화 연산
결정 가능한 중첩 반복 스키마 클래스
지역 종료 이론과 실천
빠른 소수항 찾기를 위한 축소 오프셋 기반 방법
코알게브라적 언어 동등성의 완전한 공리화
리라이트 논리 계산의 동적 역슬라이스
불리언 프로세스 모델의 모델체크 기법
데이터 비밀 보호를 위한 널 기반 가상 업데이트와 시크리시 뷰
약한 뮤동등성은 결정가능하다
타입이 있는 용어 그래프의 종속형 형식화
범주와 범주 논리 입문
데이터베이스 매핑과 모나드의 코인덕션 탐구
그래프 재작성과 병렬 항등 변환의 새로운 시각
비율 목표를 위한 평균 사례 최적 시스템 합성
다항시간 함수의 형식화와 암호학 적용
스털링 동등성으로 파리티 게임 가속화
