Cs-Lo
이델타₀의 유한 조각에 대한 헤르브란드 일관성 연구
총 할당 열거에서 현대 SAT 솔버까지: 백트래킹·해결의 진화
저전력 x86 부동소수점 곱셈기 공식 검증: 반복 구조와 중복 피드백의 통합
데드락 탐지 알고리즘의 형식 검증
진화 예측의 근본적 한계: 계산이론과 Gödel 불완전성의 연결
삼색 그래프를 통한 큐비트 이해
이벤트 시계 자동자 이론과 실무
객체 프로그램을 위한 계산법
컴포넌트 기반 시스템 우선순위 합성 알고리즘
π 계산의 종료 보장을 위한 서브타이핑 기반 타입 시스템
동형사상과 동형연속성 고전·모순논리 모달 논리의 새로운 연결
선형 기반 전략을 결합한 테이블드 평가
병렬 재발과 분기 재발의 논리적 위계: CL15의 새로운 증명
확률적 이벤트를 갖는 HYPE 프로세스 대수
함수와 증명은 프로세스다
파라미터 트리 시스템 안전 검증을 위한 유한 반모델 기법
비고전적 접근으로 살펴본 브랜덴버거‑케이슬러 역설
SAT 기반 정수 단조성 제약 종료 분석
무한 포스트 대응 문제와 유리 관계의 고차 불확정성
설명 논리와 형식 개념 분석의 융합: 온톨로지를 위한 설문 조사
무한 항 그래프 재작성
고차원 논리 프로그래밍 기반 의료 전문가 시스템
