Cs-Lo
이벤트 시계 자동자 이론과 실무
객체 프로그램을 위한 계산법
컴포넌트 기반 시스템 우선순위 합성 알고리즘
π 계산의 종료 보장을 위한 서브타이핑 기반 타입 시스템
동형사상과 동형연속성 고전·모순논리 모달 논리의 새로운 연결
선형 기반 전략을 결합한 테이블드 평가
병렬 재발과 분기 재발의 논리적 위계: CL15의 새로운 증명
확률적 이벤트를 갖는 HYPE 프로세스 대수
함수와 증명은 프로세스다
파라미터 트리 시스템 안전 검증을 위한 유한 반모델 기법
비고전적 접근으로 살펴본 브랜덴버거‑케이슬러 역설
SAT 기반 정수 단조성 제약 종료 분석
무한 포스트 대응 문제와 유리 관계의 고차 불확정성
설명 논리와 형식 개념 분석의 융합: 온톨로지를 위한 설문 조사
무한 항 그래프 재작성
고차원 논리 프로그래밍 기반 의료 전문가 시스템
안전 검증을 위한 유한 모델 찾기와 트리 자동자 완성 기법의 비교
등식 논리의 수학적 합성 방법론
상대 모나드와 모듈을 이용한 구문·의미 통합 프레임워크
확률 자동자 간 거리 계산
불확실성 추론을 위한 PITA 시스템 테이블링과 답변 부분합
동등성의 프로포지셔널 증명과 계산 경로 정규 증명의 비유일성
