Cs-Lo

인공지능 (AI) 17 JAN, 2014

평형 논리와 답집합 프로그래밍의 보간성 연구

By Dov Gabbay

형식 언어 및 오토마타 31 JAN, 2012

푸시다운 시스템 동등성 문제의 비초등 복잡도 증명

By Michael Benedikt

컴퓨터 논리학 1 JAN, 2015

프로포지셔널 구간 시간 논리의 무한 시간 완전 공리계

By Ben Moszkowski (De Montfort University)

컴퓨터 논리학 1 JAN, 2015

확률적 모달 뮤계산에 독립 곱 연산자를 도입한 새로운 게임 의미론

By Matteo Mio (LIX

컴퓨터 논리학 20 JAN, 2015

확률적 모델 검증을 위한 파레토 곡선

By Vojtech Forejt

계산 복잡도 1 JAN, 2012

확장된 교회 튜링 가설의 형식화와 증명

By Nachum Dershowitz (Tel Aviv University)

컴퓨터 논리학 30 JAN, 2012

완화 메모리 모델을 위한 운영 의미론

By Gerard Boudol (INRIA Sophia Antipolis)

컴퓨터 논리학 13 JAN, 2012

비동기 시스템의 분산 모니터링 연구

By Volker Diekert