Logical foundations of computer science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013, proceedings /
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | ; |
Published: |
|
Literature type: | Electronic eBook |
Language: | English |
Series: |
Lecture notes in computer science,
7734 LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-3-642-35722-0 |
Item Description: |
International conference proceedings. Includes author index. |
Carrier Form: | 1 online resource (x, 414 p.) : ill. |
ISBN: |
9783642357220 (electronic bk.) 3642357229 (electronic bk.) |
Index Number: | QA75 |
CLC: | TP301.6-532 |
Contents: |
Compositional Reasoning for Multi-modal Logics / Explicit Generic Common Knowledge / Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification / Assignment Calculus: A Pure Imperative Language / Multiplayer Cost Games with Simple Nash Equilibria / Forward Chaining for Hybrid ASP / Effectivity Questions for Kleene's Recursion Theorem / Sub-computable Bounded Pseudorandomness ... |