Cs-Lo

컴퓨터 논리학 24 JAN, 2012

파라메트릭 확률 논리 입문

By Joseph W. Norman

컴퓨터 논리학 22 JAN, 2012

교대 정제 관계를 위한 고속 알고리즘

By Krishnendu Chatterjee

컴퓨터 논리학 15 JAN, 2012

추상화 표현력과 완전성에 관한 심층 연구

By Maciej Gazda (Eindhoven University of Technology)

컴퓨터 논리학 1 JAN, 2015

파라미터화된 다자간 세션 타입

By Pierre-Malo Denielou (Imperial College London)

컴퓨터 논리학 14 JAN, 2012

정규 해상도와 절 학습 증명 체계의 향상된 구분

By Maria Luisa Bonet

컴퓨터 논리학 20 JAN, 2015

모노이달 컴퓨터 I 기본 계산 가능성 및 문자열 다이어그램

By Dusko Pavlovic

컴퓨터 논리학 17 JAN, 2012

고차 재귀 스킴의 IO와 OI 파생 전략 동등성

By Axel Haddad (LIGM & LIAFA)

컴퓨터 논리학 1 JAN, 2015

완전 WSTS를 위한 전방 분석 제2부

By Alain Finkel (LSV

컴퓨터 논리학 24 JAN, 2012

적응형 객체 그룹의 타입 안전 모델

By Joakim Bj{o}rk (University of Oslo)

컴퓨터 논리학 22 JAN, 2012

소유권 인증 전송 프로토콜의 안전성 형식 검증

By Swaraj Bhat

컴퓨터 논리학 4 JAN, 2015

람다렛렉으로 표현 가능한 무한 람다 항의 특성

By Clemens Grabmayer

컴퓨터 논리학 30 JAN, 2025

선형 제약 루프의 순위 함수 탐색과 복잡도 분석

By Amir M. Ben-Amram

컴퓨터 논리학 1 JAN, 2015

CEGAR와 페트리망 상태 방정식의 결합

By Karsten Wolf (Universit"at Rostock

분산 컴퓨팅 5 JAN, 2013

비잔틴 장군 공격에 대한 반격 파라미터화 모델 검증

By Annu John

컴퓨터 논리학 18 JAN, 2012

마코프 체인 인터랙티브 검증: 두 분산 프로토콜 사례 연구

By Johannes H"olzl (Technische Universit"at M"unchen)

암호화 및 보안 29 JAN, 2012

중간자 공격을 추적하는 모노이달 범주론

By Dusko Pavlovic

프로그래밍 언어 31 JAN, 2023

선택적 분리 목표를 이용한 논리 프로그래밍

By Keehang Kwon

네트워킹 및 인터넷 5 JAN, 2012

기회주의 네트워크의 하이브리드 성능 모델링

By Luca Bortolussi (University of Trieste)

인공지능 (AI) 17 JAN, 2012

Isabelle jEdit 차세대 증명기 통합 개발 환경

By Makarius Wenzel

컴퓨터 논리학 6 JAN, 2012

기초 항만을 이용한 산술의 전체 함수

By Evgeny Makarov (INRIA)

프로그래밍 언어 26 JAN, 2012

비정형 항목 재작성 시스템의 생산성 분석

By Matthias Raffelsieper (TU Eindhoven)

범주론 2 JAN, 2014

패턴 그래프 재작성 시스템

By Aleks Kissinger (University of Oxford)

수리 논리학 16 JAN, 2012

Tipi TPTP 기반 이론 개발 환경과 증명 분석

By Jesse Alama

컴퓨터 과학 및 게임 이론 19 JAN, 2012

게임 이론으로 자동 합성하는 신뢰와 효율 시스템 사례 연구

By Mickael R