Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
  Completeness and decidability results for CTL in constructive type theory
Doczkal C., Smolka G.  Journal of Automated Reasoning 56(3): 343-365, 2016. Type: Article
 
     
     
 
Enter Text Shown in Picture:
   
To:  
Your Colleague's E-mail:
   
From:  
Your E-mail:
   
Subject: Reviews: Completeness and decidability results for CTL in constructive type theory
   
Message Body:
 
     
 
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy