Cs-Lo

수리 논리학 1 JAN, 2015

등식 논리의 수학적 합성 방법론

By Marcelo Fiore (University of Cambridge

프로그래밍 언어 20 JAN, 2019

상대 모나드와 모듈을 이용한 구문·의미 통합 프레임워크

By Benedikt Ahrens

형식 언어 및 오토마타 7 JAN, 2011

확률 자동자 간 거리 계산

By Mathieu Tracol (IST Austria)

인공지능 (AI) 26 JAN, 2011

불확실성 추론을 위한 PITA 시스템 테이블링과 답변 부분합

By Fabrizio Riguzzi

컴퓨터 논리학 7 JAN, 2013

동등성의 프로포지셔널 증명과 계산 경로 정규 증명의 비유일성

By Ruy J.G.B. de Queiroz

컴퓨터 논리학 1 JAN, 2015

관계형 데이터 교환에서 비단조 질의 답변을 위한 GCWA 의미론

By Andre Hernich (Humboldt-Universit"at zu Berlin)

프로그래밍 언어 4 JAN, 2012

소프트 세션 타입으로 보장하는 유한 상호작용

By Ugo Dal Lago

컴퓨터 논리학 20 JAN, 2011

계산가능 논리의 가산·비가산 분기 반복 연산 관계와 새로운 정의

By Wenyan Xu

소프트웨어 공학 1 JAN, 2015

순차 증명으로부터 논리적 동시성 제어 자동 생성

By Jyotirmoy Deshmukh (University of Texas at Austin)

인공지능 (AI) 29 JAN, 2011

복잡 최적화와 답집합 프로그래밍

By Martin Gebser

컴퓨터 논리학 17 JAN, 2012

무타입 람다 항(term) 수 세기 연구

By Pierre Lescanne (LIP)

컴퓨터 논리학 19 JAN, 2011

PDL의 코알제브라적 해석과 확률적 모델링

By Ernst-Erich Doberkat

소프트웨어 공학 5 JAN, 2011

구성 요소 업그레이드 정렬

By Roberto Di Cosmo (Univ Paris Diderot

인공지능 (AI) 31 JAN, 2013

디폴트 논리에서 이상치 탐지의 복잡도 경계

By F. Angiulli

컴퓨터 논리학 23 JAN, 2011

클래식 시퀀트 계산을 파이 계산에 담다

By Steffen van Bakel

디지털 라이브러리 19 JAN, 2015

형식 수학 의존성 분석: Coq와 Mizar의 추출 기법 및 활용

By Jesse Alama

컴퓨터 논리학 1 JAN, 2015

그라운드 트리 재작성 그래프의 1차 논리 이론 복잡도

By Stefan G"oller (University of Bremen)

암호화 및 보안 19 JAN, 2015

보안 게임 은폐 활용 새로운 패러다임

By Dusko Pavlovic

컴퓨터 논리학 13 JAN, 2012

CCS의 무죄 전략을 프레셰이프와 상호작용 동등성으로

By Tom Hirschowitz (LAMA)

프로그래밍 언어 12 JAN, 2011

반응형 노드의 모듈식 추상화와 분리 불변식

By David Monniaux (VERIMAG - IMAG)

정량적 방법론 8 JAN, 2011

PRISM으로 분석한 PDGF 신호전달 경로

By Qixia Yuan (University of Luxembourg)

분산 컴퓨팅 6 JAN, 2011

증명 가능한 안전 흐름 네트워크를 위한 도메인 특화 언어

By Azer Bestavros (Boston University)

컴퓨터 논리학 27 JAN, 2011

크로네커 대수로 구현하는 공유 메모리 동시 시스템 검증

By Robert Mittermayr

컴퓨터 논리학 21 JAN, 2011

고차 재작성 시스템의 정지 증명을 위한 정적 의존 쌍 확장

By Sho Suzuki