Cs-Lo
범용 트레이스 논리 코알지브라와 궤적 의미의 통합
표시 포스트라이트와 깊은 추론의 대응 관계: 중첩 시퀀스 계산법에서 시제 논리의 연구
정수 집합 방정식의 표현력 연구
다항시간에 풀 수 있는 집합 제약의 새로운 지평
확률 과정 대수를 위한 수치 표현 스키마
두 변수 의존 논리와 IF 논리의 복잡도
대규모 생물 네트워크를 위한 ProbLog 구현과 성능 분석
ICD10 기반 퍼지 시간 논리 의료 전문가 시스템
셀룰러 오토마타의 범주론적 시각
분자 상호작용 지도 계산법
시간 확률 관찰 행동 기반 근사 테스트 동등성
모나드 함수의 재귀 정의와 도메인 이론 고정점 활용
NP 논리 시스템과 모델 동등성 감소
지수 연산 부분 이론의 통일 문제 해결
일차 논리의 모달성 및 내포성: 최소 강화 의미론
시간 확률 논리 프로그램의 상태와 개정
확률 프로그램을 위한 기대 변환기 기반 서술적 추상화와 데이터 독립성
데이터값 제약을 갖는 부치 자동화 확장
시간 스케일을 넘는 게임에서의 할인
집중 아래 계산의 이중성
함수형 답집합 프로그래밍
시간 논리 계층과 비결합성 활용을 통한 효율적인 LTL 합성
