Cs-Lo
테스트와 정리 증명을 결합한 자동 반례 생성 시스템
대규모 수학 이론을 위한 확장 가능한 모듈 시스템
범주론으로 푸는 지식표현 오로그의 설계와 활용
불리언 식 확률 상한·하한을 위한 최적 해석법
선형 순서 두 개만으로 비트 연산을 완전하게 표현한다
다중코어 중첩 깊이 우선 탐색 변형
함수형 프로그램의 가역적 자동화 모델
신선도 연산자를 없앤 명목 논리: 방정식 전용 체계
실용적인 분산 제어 합성
라벨을 하이퍼시퀀스로 변환하는 중간 논리 연구
진화하는 감사 로그를 통한 정책 강제 실행 논리적 방법
측도 이론을 위한 자원 경계의 공리화
자동 복잡도 분석을 위한 의존 쌍 방법
잔여 연산과 최소 고정점이 결합된 완전 격자 이론
비국소성맥락성의 층류 이론적 구조
타입 클래스로 구현하는 수학적 구조와 효율적 계산
무한 페트리 넷에서 비간섭성 결정 가능성
동등성 이론을 위한 지상 보간법
데이터베이스 카테고리의 매칭·머징·구조적 특성
보안 프로토콜을 위한 공간‑인식 논리와 자동 검증 프레임워크
거친 집합 이론의 계량과 계수 체계 혁신
라벨이 붙은 선형 순서의 결정 가능한 확장
