Open Access System for Information Sharing
All
Title
Author
Subject
Login
Library
Help
검색
HOME
Communities & Collections
Researchers
Title
Browse by Researchers
PARK, SUNGWOO(박성우)
scopus
Department
Dept of Computer Science & Engineering(컴퓨터공학과)
Major(s)
-
E-Mail
×
E-Mail
Homepage
Co-researchers
네트워크
×
공저자 목록
뒤로가기
Keyword
Publication & Time Cited Count (For the Last 5 years)
Results 1-1 of 1 (Search time: 0.0 seconds).
Export
EXCEL
BIBTEX
Date issued
2013
1
Type
Article
1
Subject
Boolean BI
1
MUTABLE DATA-STRUCTURES
1
Nested sequent calculus
1
SEPARATION
1
SEPARATION LOGIC
1
Separation logic
1
SHAPE-ANALYSIS
1
TABLEAUX
1
Theorem prover
1
VERIFICATION
1
next >
Journal Registered
SCIE
1
SCOPUS
1
Applied search limites :
Journal Registered
: scie
Subject
: Boolean BI
Journal Registered
: scie
Journal Registered
: scopus
Subject
: Nested sequent calculus
Subject
: VERIFICATION
Date Issued
: 2013
Journal Papers(International)
Journal Papers
(Domestic)
Conference Papers(International)
Conference Papers(Domestic)
20 건
100 건
200 건
Article
A Theorem Prover for Boolean BI
SCIE
SCOPUS
ACM SIGPLAN NOTICES, vol. 48, no. 1, page. 219 - 231, 2013-01
Park, J
;
Seo, J
;
Park, S
1
Browse
Communities & Collections
Researcher
Title
Login
Library
Help