Cs-Lo
우변 평탄 규칙과 순열 이론을 통한 재작성 종료성 결정
증명 시스템 내 재작성과 정의성 보장
운동 전략의 속성 분석과 피드백 서비스 검증
인라인 레퍼런스 모니터를 위한 증명 전달 코드 프레임워크
고차 타입 구문을 위한 초기 의미론과 Coq 형식화
크기와 의존 타입을 결합한 MiniAgda
전역 비간섭 인증을 위한 추상 리라이트 로직
후속 연산자를 포함한 1차 논리 조각들의 무한 단어 분석
대화형 PDL 정규 포함 공리의 무절단 ExpTime 테이블라우 결정 절차
유한 트리 언어 인식성 보존을 위한 재작성 규칙 연구
비균일 강제 변환과 통합 힌트 활용
동시 가비지 컬렉터 형식적 유도
반복을 허용한 루딕스와 내부 완전성
측정공간의 부분 시그마대수와 도메인 이론: 기대와 현실 사이
PB 제약을 SAT로 변환하는 새로운 인코딩 기법
시간 제한 부치 자동자의 효율적 공허성 검사
양자 계산의 추상화와 범주론적 시각
강화학습과 지식표현을 잇는 논리적 오프라인 온라인 프레임워크
트리폭이 모달 만족도에 미치는 영향
무한 사용자와 역할을 위한 ARBAC 정책 자동 심볼릭 분석
양적 목표를 통한 고품질 합성
원주민 지식 기반 가뭄 조기경보 전문가 시스템 개발
