MPG.eBooks - Search Results - functions of a complete verifiable

Search alternatives:
complete verifiable » complete variable , complete decidable , complete verification
functions » function

Cover Image

1

Computer Science -- Theory and Applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Published 2015

Springer International Publishing

Table of Contents: “... Data Access -- NEXP-Completeness and Universal Hardness Results for Justification Logic -- A...”