Cs-Lo

컴퓨터 논리학 21 JAN, 2010

함수형 답집합 프로그래밍

By Pedro Cabalar

컴퓨터 논리학 9 JAN, 2010

시간 논리 계층과 비결합성 활용을 통한 효율적인 LTL 합성

By Andreas Morgenstern (University Kaiserslautern)

컴퓨터 논리학 10 JAN, 2011

직관주의 부정의 파라콘시스티브 약화 연구

By Zoran Majkic

컴퓨터 논리학 24 JAN, 2019

산란·가산 직렬‑병렬 부분순서 집합의 논리와 유리 언어

By Amazigh Amrane

컴퓨터 논리학 1 JAN, 2015

우변 평탄 규칙과 순열 이론을 통한 재작성 종료성 결정

By Luis Barguno (UPC Barcelona)

컴퓨터 논리학 23 JAN, 2010

증명 시스템 내 재작성과 정의성 보장

By Issam Maamria (University of Southampton)

컴퓨터 논리학 30 JAN, 2010

운동 전략의 속성 분석과 피드백 서비스 검증

By Alex Gerdes (Open Universiteit Nederl

컴퓨터 논리학 15 JAN, 2010

인라인 레퍼런스 모니터를 위한 증명 전달 코드 프레임워크

By Mads Dam

컴퓨터 논리학 20 JAN, 2011

고차 타입 구문을 위한 초기 의미론과 Coq 형식화

By Benedikt Ahrens

컴퓨터 논리학 23 JAN, 2010

크기와 의존 타입을 결합한 MiniAgda

By Andreas Abel (Ludwig-Maximilians-University Munich)

컴퓨터 논리학 23 JAN, 2010

전역 비간섭 인증을 위한 추상 리라이트 로직

By Mauricio Alba-Castro (1) (2)

컴퓨터 논리학 17 JAN, 2015

후속 연산자를 포함한 1차 논리 조각들의 무한 단어 분석

By Jakub Kallas

컴퓨터 논리학 13 JAN, 2012

대화형 PDL 정규 포함 공리의 무절단 ExpTime 테이블라우 결정 절차

By Linh Anh Nguyen

컴퓨터 논리학 30 JAN, 2010

유한 트리 언어 인식성 보존을 위한 재작성 규칙 연구

By S

컴퓨터 논리학 18 JAN, 2011

비균일 강제 변환과 통합 힌트 활용

By Claudio Sacerdoti Coen (University of bologna)

컴퓨터 논리학 23 JAN, 2010

동시 가비지 컬렉터 형식적 유도

By Dusko Pavlovic

컴퓨터 논리학 1 JAN, 2015

반복을 허용한 루딕스와 내부 완전성

By Claudia Faggian (CNRS - Paris7)

컴퓨터 논리학 3 JAN, 2010

측정공간의 부분 시그마대수와 도메인 이론: 기대와 현실 사이

By Ingo Battenfeld (TU Dortmund)

컴퓨터 논리학 19 JAN, 2015

PB 제약을 SAT로 변환하는 새로운 인코딩 기법

By Amir Aavani

컴퓨터 논리학 7 JAN, 2020

시간 제한 부치 자동자의 효율적 공허성 검사

By Frederic Herbreteau

컴퓨터 논리학 9 JAN, 2016

양자 계산의 추상화와 범주론적 시각

By Dusko Pavlovic

컴퓨터 논리학 8 JAN, 2010

강화학습과 지식표현을 잇는 논리적 오프라인 온라인 프레임워크

By Emad Saad

컴퓨터 논리학 19 JAN, 2015

트리폭이 모달 만족도에 미치는 영향

By M. Praveen

컴퓨터 논리학 30 JAN, 2010

무한 사용자와 역할을 위한 ARBAC 정책 자동 심볼릭 분석

By A. Arm