Cs-Lo
약한 뮤동등성은 결정가능하다
타입이 있는 용어 그래프의 종속형 형식화
범주와 범주 논리 입문
데이터베이스 매핑과 모나드의 코인덕션 탐구
그래프 재작성과 병렬 항등 변환의 새로운 시각
비율 목표를 위한 평균 사례 최적 시스템 합성
다항시간 함수의 형식화와 암호학 적용
스털링 동등성으로 파리티 게임 가속화
새로운 그래프 증명 계산법
마코프 결정 과정의 동기화 목표
행위 논리의 모달 연산 체계
테스트와 정리 증명을 결합한 자동 반례 생성 시스템
대규모 수학 이론을 위한 확장 가능한 모듈 시스템
범주론으로 푸는 지식표현 오로그의 설계와 활용
불리언 식 확률 상한·하한을 위한 최적 해석법
선형 순서 두 개만으로 비트 연산을 완전하게 표현한다
다중코어 중첩 깊이 우선 탐색 변형
함수형 프로그램의 가역적 자동화 모델
신선도 연산자를 없앤 명목 논리: 방정식 전용 체계
실용적인 분산 제어 합성
라벨을 하이퍼시퀀스로 변환하는 중간 논리 연구
진화하는 감사 로그를 통한 정책 강제 실행 논리적 방법
