Limit search to available items
Book Cover
E-book
Author LFCS 2013 (2013: San Diego, Calif.)

Title Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / Sergei Artemov, Anil Nerode (eds.)
Published Berlin ; New York : Springer, ©2013

Copies

Description 1 online resource
Series Lecture notes in computer science, 0302-9743 ; 7734
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 7734.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Compositional Reasoning for Multi-modal Logics / Luca Aceto, Anna Ingólfsdóttir -- Explicit Generic Common Knowledge / Evangelia Antonakos -- Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification / Gilles Barthe, Juan Manuel Crespo, César Kunz -- Assignment Calculus: A Pure Imperative Language / Marc Bender, Jeffery Zucker -- Multiplayer Cost Games with Simple Nash Equilibria / Thomas Brihaye, Julie De Pril, Sven Schewe -- Forward Chaining for Hybrid ASP / Alex Brik, Jeffrey B. Remmel -- Effectivity Questions for Kleene's Recursion Theorem / John Case, Sanjay Jain, Frank Stephan -- Sub-computable Bounded Pseudorandomness / Douglas Cenzer, Jeffrey B. Remmel -- Automated Support for the Investigation of Paraconsistent and Other Logics / Agata Ciabattoni, Ori Lahav, Lara Spendier --[50580 A Modal BI Logic for Dynamic Resource Properties / J.R. Courtault, D. Galmiche -- Stuttering for Abstract Probabilistic Automata / Benoît Delahaye, Kim G. Larsen, Axel Legay -- Call-by-Value Non-determinism in a Linear Logic Type Discipline / Alejandro Díaz-Caro, Giulio Manzonetto -- The Wadge Hierarchy of Petri Nets [omega]-Languages / Jacques Duparc, Olivier Finkel -- Iterated Contraction Based on Indistinguishability / Konstantinos Georgatos -- A Note on Extensions: Admissible Rules via Semantics / Jeroen Goudsmit -- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference / Bernhard Heinemann -- Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems / Ping Hou, Hao Zheng
Computational Hardness of Validity in Probability Logic / Rutger Kuyper -- Update as Evidence: Belief Expansion / Roman Kuznets, Thomas Studer -- Separating the Fan Theorem and Its Weakenings / Robert S. Lubarsky, Hannes Diener -- The Logic of Uncertain Justifications / Bob Milnikel -- Justifications, Awareness and Epistemic Dynamics / Igor Sedlár -- Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars / Alexey Sorokin -- Constructive Polychronous Systems / Jean-Pierre Talpin, Jens Brandt, Mike Gemünde -- On Tolerance Analysis of Games with Belief Revision / Çağıl Taşdemir -- Temporalizing Modal Epistemic Logic / Ren-June Wang -- Contextual Natural Deduction / Bruno Woltzenlogel Paleo -- Conservatively Approximable Functions / Sebastian Wyman -- Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic / Junhua Yu
Summary This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science
Analysis 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
computerwetenschappen
computer sciences
wiskunde
mathematics
computertechnieken
computer techniques
computational science
programmeertalen
programming languages
logica
logic
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Bibliography Includes author index
Notes English
Subject Computer science -- Congresses
Computer logic -- Congresses
Logic.
Logic
logic.
COMPUTERS -- Computer Literacy.
COMPUTERS -- Computer Science.
COMPUTERS -- Data Processing.
COMPUTERS -- Hardware -- General.
COMPUTERS -- Information Technology.
COMPUTERS -- Machine Theory.
COMPUTERS -- Reference.
Logic
Computer logic
Computer science
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Artemov, S. N.
Nerode, Anil, 1932-
ISBN 9783642357220
3642357229
3642357210
9783642357213
Other Titles LFCS 2013