Cs-Lo
다중코어 중첩 깊이 우선 탐색 변형
함수형 프로그램의 가역적 자동화 모델
신선도 연산자를 없앤 명목 논리: 방정식 전용 체계
실용적인 분산 제어 합성
라벨을 하이퍼시퀀스로 변환하는 중간 논리 연구
진화하는 감사 로그를 통한 정책 강제 실행 논리적 방법
측도 이론을 위한 자원 경계의 공리화
자동 복잡도 분석을 위한 의존 쌍 방법
잔여 연산과 최소 고정점이 결합된 완전 격자 이론
비국소성맥락성의 층류 이론적 구조
타입 클래스로 구현하는 수학적 구조와 효율적 계산
무한 페트리 넷에서 비간섭성 결정 가능성
동등성 이론을 위한 지상 보간법
데이터베이스 카테고리의 매칭·머징·구조적 특성
보안 프로토콜을 위한 공간‑인식 논리와 자동 검증 프레임워크
거친 집합 이론의 계량과 계수 체계 혁신
라벨이 붙은 선형 순서의 결정 가능한 확장
베이즈 추론의 그래픽적 통합: 고전과 양자 이론의 통합적 시각화
선형 정규화로 얻는 대수적 λ‑계산의 일관성
랭크 영일 논리를 위한 자유 헤이팅 대수 새로운 구성법
뷰 기반 데이터베이스 매핑을 위한 범주론적 의미론
직관주의 논리를 위한 연속 전달 스타일 모델
