Cs-Lo
조건 논리의 일반적 모달 절삭 제거와 새로운 시퀀스 계산법
오픈 그래프와 모노이달 이론의 새로운 접근
폐쇄 선택과 통합 저차원 기저 정리
시간 제한 파리티 게임의 복잡도와 강인성 향상
비동기 프로그램 검증 알고리즘
콜바이밸류와 콜바이네임 대수적 람다 계산의 벡터 행동
PLEXIL의 재작성 논리 의미론과 Maude 구현
고정점 조합자와 시계형 베헴 트리의 모듈식 구성
무지의 인식에 대한 새로운 논리적 접근
시간과 레지스터 자동자 사이의 깊은 연관성
모달 일차 논리 조각의 특성화와 정의 가능성
게임과 논리에서 순차성 대 동시성
XACML 논리 확장 연구
진정한 동시성을 위한 논리
얽힌 회로와 교환 대수의 새로운 시각
대수 이론과 모나드 그리고 아리티
고차 함수 논리 프로그램의 완전 추상화 문제
사이버 물리 시스템의 중복성과 회복탄력성 모델링
병렬 k 귀납 모델 검사기 PKind
자동 모듈식 템플릿 수치 제약 추상화
고차 절차 변수와 비국소 점프를 위한 형식화된 프로그램 논리
고델 불완전성 신화 해체 다항식과 동역학으로 보는 대수 논리
