Open Access System for Information Sharing

Login Library

 

Conference
Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

A Theorem Prover for Boolean BI

Title
A Theorem Prover for Boolean BI
Authors
박성우
POSTECH Authors
박성우
Date Issued
23-Jan-2013
Publisher
ACM
URI
http://oasis.postech.ac.kr/handle/2014.oak/62776
Article Type
Conference
Citation
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013-01-23
Files in This Item:
There are no files associated with this item.

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher

박성우PARK, SUNGWOO
Dept of Computer Science & Enginrg
Read more

Views & Downloads

Browse