Cs-Lo
무한 오라클 질의를 허용하는 타입‑2 기계와 그 계산론적 의미
실시간 시스템 정밀 정제와 검증
논리적 특성화의 비증명성: 라벨드 마코프 과정에서 상태와 사건 동등성의 차이
프로로그 프로그램 자동 최적화를 위한 추상 해석 기반 변환
추론을 감소로 보는 새로운 범주론적 접근
일관된 컴포넌트 기반 소프트웨어 업데이트를 위한 계산법
숨은 연합의 은밀한 공격 차단 방안
디크슨 보조정리와 복잡도 상한의 새로운 접근
비순환 솔로스와 차등 상호작용 넷의 새로운 연결
대칭 깨기로 본 π 계산의 표현력 차이
프로로그 기반 불확실성 로직의 변환 구현
대칭 파괴 기반 답변 집합 솔버
LF로 Isabelle 표현하기
단일 인스턴스 증분 SAT 기반 증명·반례 추출 추상화 통합 기법
실시간 검증 문제의 간소화: 타임아웃·캘린더 모델을 무시계 유한 상태 모델로 변환
베타 정규형을 위한 제한 교차 타입 시스템의 주요 타이핑
선형 λ 계산의 최소 튜링 완전성: 무한 재귀와 최소화 연산
결정 가능한 중첩 반복 스키마 클래스
지역 종료 이론과 실천
빠른 소수항 찾기를 위한 축소 오프셋 기반 방법
코알게브라적 언어 동등성의 완전한 공리화
리라이트 논리 계산의 동적 역슬라이스
