Cs-Lo
계산 가능성 폐쇄: 10년 뒤
프로토콜 합성 논리의 한계와 개선 방안
양화 다중양식 논리 자동화와 고차 타입 이론
매듭을 프로세스로 새로운 불변량
에스테렐 의미론의 인과성 재조명
상호작용 소규모 단계 알고리즘의 새로운 공리화
함수 논리 프로그래밍 의미론의 Isabelle 형식화
동적 재구성을 통한 혼합 의미론: 확률 프로그램의 하이브리드 모델링
일차 논리를 위한 게임 의미론과 μ포인터
차이 연산자를 포함한 위상 모달 논리
선형 아핀 타입을 갖는 람다 계산식의 패턴 통합
실시간 계산과 타임드 오토마타 간의 입자 기반 인터페이스를 이용한 구성 요소 성능 평가
함수와 이분법적 ASP 결정 가능한 질의와 효율적 계산
구성주의 세계의 고전 수학
암시적 실수 벡터 자동화
그래프 변환 시스템을 위한 형태 분석
무한 유리 관계와 보렐 집합의 복잡도
확률 가중 자동기의 이론과 응용
하이브리드 논리 조각의 만족도 복잡도 탐구
GSTE 완전 의미론과 검증 일치성
준와이드 클래스에서의 동형사상 보존 성질
최적화 문제의 논리식 하한과 라그랑주 대수의 최적성 조건
