馆藏书目查询系统 - 上海图书馆

Advanced

Screen Library Can I borrow online

Cover is for reference only

Logical foundations of computer science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013, proceedings /

Saved in:

Bibliographic Details
Corporate Authors:	LFCS 2013 San Diego, Calif.); SpringerLink (Online service)
Group Author:	Artemov, S. N.; Nerode, Anil, 1932-
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:	Logic > Congresses. Computer science > Congresses. Computer logic > Congresses. COMPUTERS > Computer Literacy. COMPUTERS > Computer Science. COMPUTERS > Data Processing. COMPUTERS > General. > General. COMPUTERS > Information Technology. COMPUTERS > Machine Theory. COMPUTERS > Reference. Computer logic. Computer science. Information theory. Logic design. Logic, Symbolic and mathematical. Mathematical Logic and Formal Languages. Arithmetic and Logic Structures. Logics and Meanings of Programs. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Foundations. Electronic books. Conference proceedings.
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 ...