Cs-Lo
PLEXIL의 재작성 논리 의미론과 Maude 구현
고정점 조합자와 시계형 베헴 트리의 모듈식 구성
무지의 인식에 대한 새로운 논리적 접근
시간과 레지스터 자동자 사이의 깊은 연관성
모달 일차 논리 조각의 특성화와 정의 가능성
게임과 논리에서 순차성 대 동시성
XACML 논리 확장 연구
진정한 동시성을 위한 논리
얽힌 회로와 교환 대수의 새로운 시각
대수 이론과 모나드 그리고 아리티
고차 함수 논리 프로그램의 완전 추상화 문제
사이버 물리 시스템의 중복성과 회복탄력성 모델링
병렬 k 귀납 모델 검사기 PKind
자동 모듈식 템플릿 수치 제약 추상화
고차 절차 변수와 비국소 점프를 위한 형식화된 프로그램 논리
고델 불완전성 신화 해체 다항식과 동역학으로 보는 대수 논리
람다 베타 계산에 오메가 규칙을 추가했을 때의 논리적 복잡도
클래식 BI: 자원 논리의 새로운 고전적 전개
지역 추론의 발자국과 최소 사양
다중 에이전트 인식 논리의 테이블루 기반 결정 절차
컴팩트하게 접근 가능한 범주와 양자키 배포
피크 아크 일관성 효율적 제약 만족 탐색
