2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

77
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By IEEE

9781479988754
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Privacy and the Price of Data

2015 ◽  
Author(s):  
Daniel Kifer

scholarly journals A Fibrational Account of Local States

2015 ◽  
Author(s):  
Kenji Maillard ◽  
Paul-Andre Mellies

scholarly journals Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME

2015 ◽  
Author(s):  
Wojciech Czerwinski ◽  
Petr Jancar

scholarly journals Programs for Cheap!

2015 ◽  
Author(s):  
Jennifer Hackett ◽  
Graham Hutton

scholarly journals Feedback Turing Computability, and Turing Computability as Feedback

2015 ◽  
Author(s):  
Nathanael L. Ackerman ◽  
Cameron E. Freer ◽  
Robert S. Lubarsky
Keyword(s):  
Turing Computability

scholarly journals Finite Open-World Query Answering with Number Restrictions

2015 ◽  
Author(s):  
Antoine Amarilli ◽  
Michael Benedikt
Keyword(s):  
Query Answering ◽  
Open World

scholarly journals Varieties of Languages in a Category

2015 ◽  
Author(s):  
Jiri Adamek ◽  
Robert S.R. Myers ◽  
Henning Urbat ◽  
Stefan Milius
Load More ...
Sign in / Sign up

Export Citation Format

Share Document