Cs-Lo
DRL 기반 연성 제약의 k 하이퍼아크 일관성 강화
환경 가정 기반 합성
고정점 정리 무효화가 보여주는 복제 메커니즘
최대 사분면 일관성 문제를 위한 의사불리언 모델링
가산 순서수 교회 문제의 결정성 및 합성
하이브리드 두 단계 접근법으로 고차 추상 구문 다루기
복합 데이터 구조 자동 귀납 증명
클론 푸시아웃 기반 순환 텀그래프 변환 프레임워크
자기 진리 정의가 가능한 존재적 고정점 논리
무한 확장 게임의 기계적 증명 분석
π 계산의 동등성 검증과 모달 논리를 위한 증명 탐색 사양
일차 명제 논리를 위한 게임 의미론의 생성적 프레젠테이션
오메가 자동 구조의 기수와 카운팅 한정자
위상수학 기반 시나리오형 실시간 동시 시스템 사양 검증
제26회 국제 논리 프로그래밍 회의 특집호 소개
이벤트‑B 모델을 알로이로 변환해 자동 검증하기
부치 게임을 위한 새로운 알고리즘
Coq에서 인증된 정확 실수 연산 구현
계산가능성 논리 기반 적용 이론의 새로운 전개: CL12와 CL‑기반 페아노 산술
재무 흐름 네트워크를 위한 튜플렉스 계산
양자 레지스터 변환을 위한 질적 모달 논리
초등 모달 논리의 복잡도 전반적 분류
