Cs-Lo
무한 구조 위의 트리와 동기화 경로 논리
선형 순서 논리에서 영감을 받은 람다 항 표현
계층형 상태 기계와 등급 CTL을 이용한 효율적인 테스트 생성 모델 검증
모델 기반 트레이스 검증: 실무 적용과 가능성
지능형 분산 의사결정 절차를 위한 게으른 분해와 크레이그 보간법
멀티스레드 프로그램을 위한 부분 중복 제거
플랫폼 의존 검증 21세기 검증 도구 설계
트리 자동 구조의 위계와 동형 문제의 독립성
반사성 및 대각선 논증의 한계와 새로운 실수 생성 알고리즘
단순연결 평면 연속체의 비계산성
통합 수량 논리와 유니티 전제의 한계
데이터 단어와 2변수 논리를 위한 약한 자동기
대다수 의미를 담은 제네릭 명사구의 형식론적 분석
DeLP 지식 변화: 논증 이론 변화를 통한 최소 수정 전략
PTaCL: 속성 기반 접근 제어를 위한 통합 정책 언어
정규 함수와 비용 레지스터 자동화: 일반화된 최소 비용 문제
비국소성·맥락성의 코호몰로지적 접근
유클리드 공간에서 연결성 논리의 복잡도 탐구
확률 논리 프로그래밍의 잘 정의성 및 효율적 추론
비볼록 근사로 타임드 오토마타 효율 분석
비결정성으로 보완을 이길 수 있을까
코레오그래피를 위한 논리 체계
