Cs-Lo

컴퓨터 논리학 13 JAN, 2008

TLA+2 증명 관리 시스템: 계층적 증명과 자동 검증의 통합

By Kaustuv C. Chaudhuri (MRI)

프로그래밍 언어 27 JAN, 2014

XML 정적 분석을 위한 통합 논리 프레임워크

By Pierre Geneves

프로그래밍 언어 8 JAN, 2009

대칭 모노이달 폐쇄 이론으로 보는 바인딩 빅그래프 재구성

By Tom Hirschowitz (LAMA)

데이터베이스 3 JAN, 2008

삼각형 기반 논리로 구현하는 불변성 공간·시공간 질의

By Sofie Haesevoets

컴퓨터 논리학 20 JAN, 2008

클론 이론 구문·의미와 보편대수·람다계산·대수논리 적용

By Zhaohua Luo

컴퓨터 논리학 26 JAN, 2008

예산 형식화의 새로운 접근

By Jan A. Bergstra

컴퓨터 논리학 28 JAN, 2008

색 그래프로 보는 2차원 셀룰러 오토마타 선형 규칙 모델링

By Birendra Kumar Nayak

프로그래밍 언어 7 JAN, 2008

지속적 질의와 늦은 응답을 위한 인터랙티브 ASM 확장

By Andreas Blass (University of Michigan)

심볼릭 계산 24 JAN, 2008

양화자 없는 프레셰바 수학을 위한 크레이크 보간법

By Angelo Brillout

컴퓨터 논리학 17 JAN, 2008

복합 시스템 모듈 검증을 위한 쉐이프와 기하 논리

By Viorica Sofronie-Stokkermans

컴퓨터 논리학 13 JAN, 2009

P와 NP의 차이를 증명한다는 주장, 그러나 증명은 허구

By Sten-Ake Tarnlund

기타 컴퓨터 과학 9 JAN, 2013

트레이스 대칭 모노이달 범주를 통한 일반화된 호어 논리 프레임워크

By Rob Arthan

소프트웨어 공학 9 JAN, 2008

마코프 결정 과정용 CEGAR 프레임워크: 추상화·반증·정제의 새로운 길

By Rohit Chadha

컴퓨터 과학 및 게임 이론 9 JAN, 2008

시간 제한 패리티 게임 복잡도와 강인성

By Krishnendu Chatterjee

컴퓨터 논리학 30 JAN, 2008

불확실 데이터베이스를 위한 2차 논리 대수

By Christoph Koch

프로그래밍 언어 18 JAN, 2008

프로세스 생성을 위한 명령 시퀀스

By J. A. Bergstra

프로그래밍 언어 4 JAN, 2008

자동 모듈식 선형 제약 추상화

By David Monniaux (VERIMAG - Imag)

컴퓨터 논리학 18 JAN, 2008

플랜티드 3‑SAT에서 로컬 서치의 임계 현상 분석

By Andrei A. Bulatov

컴퓨터 논리학 1 JAN, 2015

중첩 단어를 위한 일차 논리와 시간 논리의 완전성

By Rajeev Alur (UPenn)

인공지능 (AI) 14 JAN, 2010

비그라운드 논리 프로그램을 자동인식 논리로 임베딩하여 지식베이스 결합

By Jos de Bruijn

인공지능 (AI) 30 JAN, 2009

고정 도메인 위 슈퍼포지션 계산법

By Matthias Horbach

컴퓨터 논리학 19 JAN, 2010

선형 방정식 위의 해법과 다중선형 증명: 새로운 연결 고리

By Ran Raz

프로그래밍 언어 1 JAN, 2015

도메인 이론을 이용한 강정규화 증명의 새로운 접근

By Thierry Coqu

컴퓨터 논리학 1 JAN, 2015

공통 트레이스 의미론을 위한 코인덕션 접근

By ** - **J. Hasuo** (University of Tokyo) - **B. Jacobs** (University of Nijmegen) - **A. Sokolova** (University of Leicester) *(※ 실제 논문에 기재된 저자와 소속은 위와 같으며