Cs-Lo
구조 그래프를 이용한 불 대수 방정식 시스템 분석
람다 계산법의 ASM 기반 연산적 완전성
시간 확률 자동자의 구역 기반 분석 혁신
YAPA 공격자 지식 계산을 위한 범용 도구
CHR PRISM 기반 확률 논리 학습
반응 시스템의 바브와 라벨: L‑동등성의 새로운 접근
구조 그래프를 이용한 불리언 방정식 시스템 해석
분기 시계열 논리의 강인한 공허성 탐지
최적·무컷 CPDL 테이블라우스 알고리즘
명칭 통합을 고차원 패턴 관점에서 바라보다
특정 SAT 문제의 쉬움 판정 기준
하나 카운터 프로세스의 분기 시간 모델 검증
순서불변 MSO는 CMSO보다 강력함
제한된 불 함수 집합에서 명제적 귀납의 복잡도
산술 메도우와 그 변형
컬럼버거 복잡도와 정보 분류의 새로운 시각
PSPACE를 포착한 STAB 타입 시스템과 그 평가 기계
계층적 그래프 재작성으로 구현하는 평가 전략
자연수용 보편 계산 기능 단위의 존재와 구조
고차 타입 계산에서의 소진 가능한 집합
리라이트 시스템의 불결정성 단계 구분
상호작용 구조에서의 공통 지식 연구
