Cs-Lo
선언적 구조화 통신을 위한 통합 프레임워크
공동귀납적 정확 실수 연산의 형식 검증
제약 만족 문제에 대한 보편 대수적 접근의 범위
논리적 관점에서 본 순서형 논리합 연산자
cCSP 의미 모델 연계 연구
명시적 치환을 갖는 선형 λ계산과 깊은 추론에서의 증명 탐색
대안 논리 탐구 두 권의 책 리뷰
오메가 파워 사전 집합의 복잡도 계층과 새로운 비교 관계
무한 약직교 재작성 시스템의 고유 정규형
첫 번째 차수 인과 구조
귀납적 구성 계산에 결정 절차 통합
막 시스템에서 의존성 및 동시성 분석
상호작용 제약을 통한 로컬 코디네이션 논리
템플릿 수치 제약을 위한 자동 모듈식 추상화
공간 명시적 생태 모델을 위한 프로세스 계산법에서의 순서 지정
모델 이론을 통한 보안 정리
깊은 추론의 증명 복잡성: 프레지와 겐젠 사이의 새로운 연결
선형 순서에서 Datalog 복잡도 연구
인간 중심과 무한 하강을 통한 자동 귀납 정리 증명의 미래
고차 재귀 경로 순서의 새로운 정의와 적용
테스팅 의미론에서 명시적 공정성
변수 결합과 대칭 모노이달 폐쇄 이론을 이용한 빅그래프 재구성
