Cs-Lo
확률 푸시다운 자동기의 동등성 판정
반선형 자동기의 최소화와 비표준 분할 정제의 한계
넥서스 권한 논리 최신 결과
양자 프로토콜 자동 검증을 위한 MCMAS 활용
대화형 논리 프로그래밍을 향하여
귀납형 정제의 일반화
Event B 모델을 위한 증명 힌트 활용 방안
N M 전압 스위칭 제어 시스템 설계 및 검증
선형 순서 기반 두 단계 테이블루 계산법: 듐멧 논리의 종료와 부분식 성질
경로 민감 정적 분석기 PAGAI
지능형 수학 증명 튜터 개발
시간 제약 사양 이론의 재조명 선형 시간 관점
비영 미소 단계와 메트릭 시계 논리
비동기 다중테이프 자동자 교집합의 불가능성 및 근사 알고리즘
모델 검증 문제 복잡도 사분법
온톨로지와 관계형 규칙 학습을 위한 귀납 논리 프로그래밍
동형 사상 유형 이론과 베오드스키의 일치 기반
머신러닝 기반 증명 보조와 프루프 제네럴 인터페이스
패러콘시스턴트 의존 논리와 게임 의미론
시점별 인식 논리와 정보 흐름 보안
비결정적 무작위 입력을 다루는 프로그램의 구체적 의미론
연속 마코프 논리와 완전 공리계
