Cs-Lo

컴퓨터 논리학 18 JAN, 2011

슈퍼포지션을 논리적 접착제로

By Andrea Asperti (University of Bologna)

컴퓨터 논리학 29 JAN, 2010

반응형 확률 프로세스 테스트 동등성 연구

By Sonja Georgievska

계산 복잡도 30 JAN, 2010

ALC 하위 불리언 조각의 만족도 복잡도 분석

By Arne Meier

형식 언어 및 오토마타 1 JAN, 2010

푸시다운 시스템에서 역방향 모달리티를 갖는 뮤 계산법의 포화 기법

By M. Hague

수리 물리학 17 JAN, 2015

범주적 텐서 네트워크 상태와 문자열 다이어그램

By Jacob D. Biamonte

컴퓨터 논리학 24 JAN, 2011

실제 이슬람 논리

By Jan Aldert Bergstra

암호화 및 보안 30 JAN, 2011

마우드엔피에이 상태공간 축소와 완전성

By Santiago Escobar

형식 언어 및 오토마타 19 JAN, 2015

점 깊이 1을 둘러싼 탐구

By Manfred Kufleitner

컴퓨터 과학 및 게임 이론 26 JAN, 2010

외연적 내포적 전략

By Tony Bourdier (INRIA Nancy Gr

컴퓨터 논리학 9 JAN, 2010

평형과 종료 문제의 불가능성

By Vincent Danos (University of Edinburgh)

이산 수학 30 JAN, 2010

랭크폭 기반 만족도 문제를 위한 효율적인 새로운 알고리즘

By Robert Ganian

컴퓨터 논리학 21 JAN, 2012

클라리쓰리 III: CLA8·CLA9·CLA10의 설계와 완전성

By Giorgi Japaridze

컴퓨터 수치 해석 3 JAN, 2010

계산 가능한 동역학계에서 수렴 속도와 의사무작위 점

By Stefano Galatolo (Dipartiento di matematica applicata

컴퓨터 논리학 17 JAN, 2015

다중 사용자 통신망의 최대 흐름 최소 절단 정리

By Soren Riis

컴퓨터 논리학 23 JAN, 2010

명목 통합 재조명

By Christian Urban (TU Munich

컴퓨터 논리학 1 JAN, 2012

벡터형 선형대수 람다 계산을 위한 타입 시스템

By Pablo Arrighi

컴퓨터 논리학 13 JAN, 2010

계층적 상태를 활용한 CIF 모델링 혁신

By H. Beohar (Eindhoven University of Technology

컴퓨터 논리학 1 JAN, 2015

위하우어 감소도 구조 연구

By Kojiro Higuchi (Tohoku University)

컴퓨터 논리학 28 JAN, 2011

무한 단어 확률 오토마타의 결정 가능성 경계

By Krishnendu Chatterjee

컴퓨터 논리학 1 JAN, 2013

클라이언트 적합성을 통한 행동 서브타이핑

By Herbert Toth

컴퓨터 논리학 30 JAN, 2010

전략별 루프 검증을 통한 비종료 자동 판정

By Rene Thiemann (University of Innsbruck

컴퓨터 논리학 17 JAN, 2016

현상·인지 확률 동적 논리

By Evgenii Vityaev

컴퓨터 논리학 20 JAN, 2016

Fagin 정리 24에서 k값 찾기

By Algirdas Antano Maknickas

컴퓨터 논리학 10 JAN, 2011

비동기 시스템 효율성 평가 도구 FASE 소개

By Federico Buti (1)