Cs-Lo

컴퓨터 논리학 8 JAN, 2008

지식베이스 동등성 검증을 위한 대수적 모델 접근

By ** 논문에 명시된 저자는 **B. I. Plotkin**

컴퓨터 논리학 31 JAN, 2008

약한 어파인 라이트 타이핑: 다항시간 표현력과 완전성

By ** Luca Roversi **

형식 언어 및 오토마타 18 JAN, 2009

실시간 모델 자동 술어 추상화 기법

By ** - Bahareh Badban (University of Konstanz

컴퓨터 논리학 14 JAN, 2008

강한 동형성의 재작성 기반 특성화

By ** Daniel Hirschkoff¹

수리 논리학 4 JAN, 2009

무한 그림 인식 타일 시스템의 고차 불확정성

By ** Olivier Finkel (Équipe Modèles de Calcul et Complexité

컴퓨터 논리학 28 JAN, 2008

구문 다이어그램을 이용한 형식 언어 구문 관계 표현

By ** Vladimir Lapshin **

범주론 13 JAN, 2015

양자 관측값 상호작용 범주 대수와 다이어그램

By Bob Coecke

계산 복잡도 14 JAN, 2007

하이브리드 분기시간 논리

By Volker Weber

인공지능 (AI) 22 JAN, 2010

지식 논리 모델 탐색을 위한 논리 프로그래밍과 다중 에이전트 계획

By Chitta Baral

컴퓨터 논리학 15 JAN, 2008

SAT 기반 모델 및 프로그램 복구 기법

By Paul C. Attie

컴퓨터 과학 및 게임 이론 1 JAN, 2015

고차 매칭 문제의 결정 가능성

By Colin Stirling

컴퓨터 논리학 14 JAN, 2010

시간 지속성을 위한 인과 의미론

By Walid Belkhir

동역학계 8 JAN, 2011

마틴 로프 무작위점에 대한 비르코프 평균정리의 구성적 버전

By Laurent Bienvenu

소프트웨어 공학 13 JAN, 2015

제한된 모델 검증을 위한 메트릭 인코딩

By Matteo Pradella

컴퓨터 논리학 13 JAN, 2015

하이브리드 CTL·CTL+의 표현력·간결성·복잡도 연구

By Ahmet Kara

컴퓨터 논리학 9 JAN, 2009

프로로그 기반 효율적 설명 논리 추론 시스템

By Gergely Lukacsy

수리 논리학 4 JAN, 2014

고전 논리를 위한 크립키 모델

By Danko Ilik (PPS

컴퓨터 논리학 1 JAN, 2015

동적 무한 상태 프로세스 네트워크를 위한 범용 분석 프레임워크

By Ahmed Bouajjani

인공지능 (AI) 23 JAN, 2009

대수적 덱스터 기반 하이퍼텍스트 참조 모델

By Volker Mattick

이산 수학 1 JAN, 2015

이중유한 추 공간

By Manfred Droste

수리 논리학 24 JAN, 2010

놀라운 시험 역설과 제2 불완전성 정리

By Shira Kritchman

프로그래밍 언어 13 JAN, 2010

인터랙티브 입출력을 위한 While 언어의 재개와 약 약동등성 및 대규모 단계 의미론

By Keiko Nakata (Institute of Cybernetics

범주론 26 JAN, 2011

범주론으로 푸는 재귀 프로그램 스킴의 일반적 해법

By Stefan Milius

컴퓨터 논리학 9 JAN, 2011

완전하지 케어 기반 SAT 최적화 기법

By Alan Mishchenko