Cs-Lo
완전한 연합 다중에이전트 시공간 인식 논리의 테이블라우 기반 결정 절차
객체지향 프로그램의 자원 제어와 상위 해석
P와 NP 구분을 향한 새로운 시도와 그 한계
고차 증명 도구에서의 공통 지식 논리
프로그래밍 언어 의미론을 위한 정리 증명 지원
행동 보존 재구성을 위한 열린 페트리망의 동형성 연구
나는 양자 로봇 양자 컴퓨터에서의 양자 마인드 제어
프로세스 모델에서 인과관계를 통한 플럭스 분석
금지 패턴 논리와 보편 구조의 새로운 연결고리
예외 처리와 일반화된 경우 구분: 확장성을 통한 새로운 통합 프레임워크
고차 고정점 논리 모델 검증 복잡도 분석
정규 정수 벡터 집합의 볼록 껍질은 다면체이며 효율적으로 계산 가능
계산 가능한 단순 게임의 특성 및 핵심 적용
존재적 양성 일차 논리의 복잡도
다항 경로 순서와 의존성 쌍을 이용한 다항 시간 복잡도 자동 인증
강한 정규화 결과를 위한 번역 기법
선형 kCNF의 불만족 가능성 전 범위 증명
계산 가능성 폐쇄: 10년 뒤
프로토콜 합성 논리의 한계와 개선 방안
양화 다중양식 논리 자동화와 고차 타입 이론
매듭을 프로세스로 새로운 불변량
에스테렐 의미론의 인과성 재조명
