Cs-Lo
자동 복잡도 분석을 위한 의존 쌍 방법
잔여 연산과 최소 고정점이 결합된 완전 격자 이론
비국소성맥락성의 층류 이론적 구조
타입 클래스로 구현하는 수학적 구조와 효율적 계산
무한 페트리 넷에서 비간섭성 결정 가능성
동등성 이론을 위한 지상 보간법
데이터베이스 카테고리의 매칭·머징·구조적 특성
보안 프로토콜을 위한 공간‑인식 논리와 자동 검증 프레임워크
거친 집합 이론의 계량과 계수 체계 혁신
라벨이 붙은 선형 순서의 결정 가능한 확장
베이즈 추론의 그래픽적 통합: 고전과 양자 이론의 통합적 시각화
선형 정규화로 얻는 대수적 λ‑계산의 일관성
랭크 영일 논리를 위한 자유 헤이팅 대수 새로운 구성법
뷰 기반 데이터베이스 매핑을 위한 범주론적 의미론
직관주의 논리를 위한 연속 전달 스타일 모델
단일형과 증명 무관성을 위한 모듈형 타입 검사 알고리즘
시간 논리의 표현력 비교: 제한성, 비특이성 및 결정적 프리징의 통합
LTL 합성 도구의 실험 평가: 현황, 문제점 및 표준화 방안
Hybrid 이론의 구현 개선과 추상 인터페이스
스마트 스웜 탐색을 위한 HIVE 도구
계산 가능한 그래프의 거리 함수와 함수형 진리표 감소 가능성
무한 레지스터 기계의 코인덕티브 의미론
