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