pdf-format: |
|
@Proceedings{lal_et_al:LIPIcs.FSTTCS.2016, title = {{LIPICs, Volume 65, FSTTCS'16, Complete Volume}}, booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-027-9}, ISSN = {1868-8969}, year = {2016}, volume = {65}, editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2016/6907}, URN = {urn:nbn:de:0030-drops-69074}, doi = {10.4230/LIPIcs.FSTTCS.2016}, annote = {Keywords: Software/Program Verification, Models of Computation, Modes of Computation, Complexity Measures and Classes, Nonnumerical Algorithms and Problems Specifying and Verifying and Reasoning about Programs, Mathematical Logic, Formal Languages} }
Keywords: | Software/Program Verification, Models of Computation, Modes of Computation, Complexity Measures and Classes, Nonnumerical Algorithms and Problems | |
Freie Schlagwörter (englisch): | Specifying and Verifying and Reasoning about Programs, Mathematical Logic, Formal Languages | |
Seminar: | 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016) | |
Issue date: | 2016 | |
Date of publication: | 19.12.2016 |