Cs-Lo
역방향 모달리티와 이벤트 식별자를 이용한 역사 보존 동형성 논리
준다형 폴리시 공간: 비하우스도르프 설정에서의 서술적 집합 이론
프로그램 종료 증명 잘 정의된 순서와 라무시 이론 및 행렬 활용
공변‑반공변 모달 공식의 그래픽 표현
비모놀로지 논리에서의 삼항 독립성: 한계와 규칙 생성
프로세스 의미론 통합을 위한 논리적 접근
연결 데이터용 검증된 대수
P 시스템을 위한 테스트 프레임워크: 관찰 가능성 및 정량적 분석
평균이득 자동자 표현식
분산 다중 컨텍스트 시스템의 대칭 탐지와 차단
모달 의존 논리 모델 검증 복잡도 분석
반응형 튜링 머신
법적 추론을 위한 논리적 다양성: 합리적 추론 논리(LRI)의 새로운 틀
두 영역 DNA 스트랜드 디스플레이스먼트로 구현하는 논리 게이트와 형식 검증
플라스모듐 논리 모델링
Coq에서 Kleene 대수 결정을 위한 반사 전술 구현
GR1 합성을 위한 LTL 조각 자동 변환
GHZ와 W 계산법의 정규형 탐구
무작위성과 미분가능성의 새로운 연결
불완전 정보와 완전 기억 하에서 ATL 모델 검증의 불가능성
효율적인 CSL 모델 검증을 위한 계층화 기법
조합표 자동 생성을 위한 반자동 방법론
