Cs-Lo
최대 만족도 문제를 위한 대칭 깨뜨리기 기법
러시아 카드 문제 통신 복잡도 하한
다중변수 양화자를 위한 정규화 가능성 및 일관성 기준
분리 논리와 관계적 파라메트리티의 통합: 고차 타입을 위한 새로운 의미론
단일 시계 가격 제한 자동기의 모델 검증
패턴 기반 모델 간 변환: 선언적 삼중 그래프와 자동 규칙 생성
비반복적 모달 논리를 위한 얕은 모델과 PSPACE 복잡도
구조적 운영 의미론을 위한 Abella 추론
미분 상호작용 넷의 상호작용 기하학
조합 회로 합성을 위한 논리 프로그래밍 프레임워크
데이터링크 대수와 동적 연산을 위한 우선순위 재작성 체계
인과 모델은 완전한 공리화가 불가능함
반연속 크기형과 프로그램 종료 검증
협업 편집을 위한 낙관적 복제 알고리즘의 모델 검증: 구체 모델 vs 상징 모델
ATL의 표현력과 복잡도 심층 탐구
2테이프 부치 자동기와 무한 유리 관계의 와지 계층 완전성
ROBDD 기반 선형 근사 알고리즘
홉필드 네트워크에서 논리 학습의 동등성 검증
다중 헤드가 CHR의 표현력을 확장한다
첫 번째 차수 결정 절차를 내장한 안전한 증명 계산기
LF 메타이론 기계화와 형식 검증
모달 만족도 복합성의 전면적 분류
