Cs-Lo
알고리즘적 규칙을 갖는 자갈 게임
무한 도메인 CSP의 복잡도 지도: 알제브라와 라무시 이론의 융합
주입형 ω 트리 자동 서수와 위계의 엄격성
모바일 애드혹 네트워크에서 파라미터화된 도달 가능성 비용 분석
함수형 타입으로 보는 데이터 종속성: 호어 논리와의 연관성
디스정합 다탈로그와 존재량자: 의미론·결정가능성·복잡도 종합 고찰
계산가능성 논리의 CL12 체계 연구
타입드 ASP 람다 계산과 역람다 알고리즘
결정적 크리프키 구조 최소화의 로그선형 알고리즘
동시 명령형 프로그래밍을 위한 통합 프레임워크
다중값 시스템에서 선형시간 속성 모델 검증
값에 의한 호출 람다 계산과 리스트 및 제어
동적 시스템을 위한 시간 논리 체계적 구축
확률 자동화의 정제와 차이 연산
복잡성은 적자생존을 따른다
상호작용 증명의 논리: 지식 전달의 형식적 기반
양화 제약 만족 문제에 대한 사색
구조적 재귀와 코리커전을 통한 실현 가능 계산
트리 자동산산산 선형 순서의 단어 자동성은 결정 가능
평균이익 푸시다운 게임의 복잡도와 전략
그림 언어의 서술 복잡도와 차원 일반화
자격과 근접성을 갖는 CLP 구현을 위한 변환 기반 접근
