Cs-Lo
동적 재구성을 통한 혼합 의미론: 확률 프로그램의 하이브리드 모델링
일차 논리를 위한 게임 의미론과 μ포인터
차이 연산자를 포함한 위상 모달 논리
선형 아핀 타입을 갖는 람다 계산식의 패턴 통합
실시간 계산과 타임드 오토마타 간의 입자 기반 인터페이스를 이용한 구성 요소 성능 평가
함수와 이분법적 ASP 결정 가능한 질의와 효율적 계산
구성주의 세계의 고전 수학
암시적 실수 벡터 자동화
그래프 변환 시스템을 위한 형태 분석
무한 유리 관계와 보렐 집합의 복잡도
확률 가중 자동기의 이론과 응용
하이브리드 논리 조각의 만족도 복잡도 탐구
GSTE 완전 의미론과 검증 일치성
준와이드 클래스에서의 동형사상 보존 성질
최적화 문제의 논리식 하한과 라그랑주 대수의 최적성 조건
엔탱글먼트 2 이하 무방향 그래프의 완전 특성화
확률적 게임에서 내시 균형 결정 문제
포스트조건 기반 루프 불변식 자동 추론
정확성 커널을 통한 추상 해석 간소화
WSTS 전방 분석 완성 구조
연결 구조의 도달 패턴 논리
모노이드 이차 논리의 파라미터화된 비가역성
