Cs-Lo
컴팩트하게 접근 가능한 범주와 양자키 배포
피크 아크 일관성 효율적 제약 만족 탐색
실시간·확률형 시제 논리 종합 고찰
확장 ER 스키마에서 불완전 데이터의 정합 쿼리 처리
외부 최상위 재작성의 문맥 민감 변환 기법
시간 논리 연구 동향 조사
NEL 시스템의 지수와 분해: 상호작용·구조 연구
값에 의한 평가와 경량 논리의 새로운 연결
단순 유형 이론 논리 결합의 통합 프레임워크
선형시제논리 만족도 복잡도와 연산자 제한 연구
증강 개인 맞춤 의학을 위한 형식 모델 이론 적용
헤르브란드 일관성의 불완전성: 제한 귀납 이론에 대한 새로운 증명
증명 무관형 이론의 힘과 적용
독립성과 동시 분리 논리
Coq에서 AC 연산을 위한 추론 전술
인과와 구성적 추상화
직접 논리와 액터 모델을 이용한 일관성 회복형 정보 통합
이름 전달 프로세스 계산을 이용한 위상 자체 안정화
람다계산의 관찰 동등성: 두 번째 차수 컨텍스트와 약한 RPO 접근법
데드락 탐지를 위한 계산 트리 논리
고차 절차 변수와 비국소 점프를 위한 프로그램 논리
Uppaal Tiga를 활용한 데이터 경로 적응형 스케줄링
