Cs-Lo
변수 보존 항등식 시스템의 기초 단어 문제 연구
젠젠프라윗 자연연역법을 활용한 논리 교육
동기식 파이 계산의 결정성 연구
실현가능성 구조와 RAM 및 정수 초필터
퍼지 프로세스와 동시성 연산의 새로운 시각
안전 및 도달성 제어 합성을 위한 근사 동형성 기반 방법
Bicoq3 B 시스템 깊은 임베딩과 새로운 디브루인 표기법
완전한 연합 다중에이전트 시공간 인식 논리의 테이블라우 기반 결정 절차
객체지향 프로그램의 자원 제어와 상위 해석
P와 NP 구분을 향한 새로운 시도와 그 한계
고차 증명 도구에서의 공통 지식 논리
프로그래밍 언어 의미론을 위한 정리 증명 지원
행동 보존 재구성을 위한 열린 페트리망의 동형성 연구
나는 양자 로봇 양자 컴퓨터에서의 양자 마인드 제어
프로세스 모델에서 인과관계를 통한 플럭스 분석
금지 패턴 논리와 보편 구조의 새로운 연결고리
예외 처리와 일반화된 경우 구분: 확장성을 통한 새로운 통합 프레임워크
고차 고정점 논리 모델 검증 복잡도 분석
정규 정수 벡터 집합의 볼록 껍질은 다면체이며 효율적으로 계산 가능
계산 가능한 단순 게임의 특성 및 핵심 적용
존재적 양성 일차 논리의 복잡도
다항 경로 순서와 의존성 쌍을 이용한 다항 시간 복잡도 자동 인증
