Cs-Lo
명제 논리에서 모달 논리까지 기본 함축과 기본 항의 확장
명칭 역역 수 제한과 결합 질의 무한성의 힘
모나드 변환자의 형식 검증
무한 객체 사양 동등성의 복잡도 전격 분석
무한 수평 사양의 특성화와 계산 마코프 과정
분리 가능한 안정 모델을 위한 모듈성 이론
비간섭 타이머 시스템의 제어와 합성
비동형성은 보렐 집합이 아니다
서브로그리듬 수준의 균일 불리언 증명망
시간 자동자 프로세스의 게임 기반 타임드 관계
알레프 제로 범주 구조의 양성 혼합 정의 보존 정리
양방향 문맥 자유 헤지 자동기의 재작성 폐쇄와 확장 규칙
연결 제한 구조에서 μ계산 교대 계층 붕괴
예기치 않은 분산 재구성 상황에서 건축 양식 강제 적용
인덕티브 정의를 포함한 명제 논리를 위한 시퀀스 연산자 증명 체계
자동 함수 주석을 활용한 호어 논리 확장
자원 람다 계산에서의 표준화
전환분기 반복 연산의 단순화와 정적성 보존
종료 인증서 자동 검증 도구 개발과 형식 검증
집합 기반 논리 프로그램의 비근거 집합과 잘 정의된 의미론
쿼리 기반 온톨로지 가져오기 숨겨진 내용에 대한 추론
평형 논리와 답집합 프로그래밍의 보간성 연구
