Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic, Language, Information, and Computation
  • Produktbild: Logic, Language, Information, and Computation
Band 8071

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Aus der Reihe Lecture Notes in Computer Science

46,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.08.2013

Abbildungen

X, 283 p. 15 illus.

Herausgeber

Leonid Libkin + weitere

Verlag

Springer Berlin

Seitenzahl

283

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

452 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-39991-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.08.2013

Abbildungen

X, 283 p. 15 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

283

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

452 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-39991-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logic, Language, Information, and Computation
  • Produktbild: Logic, Language, Information, and Computation

  • Logic and Agent Programming Languages.- Natural Models of Homotopy Type Theory (Abstract).- Modelling Infinite Structures with Atoms.- Counting in SPARQL Property Paths: Perspectives from Theory and Practice.- Quantitative Approaches to Information Protection.- Perspectives of Dynamic Complexity.- Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.- First Order Extensions of Residue Classes and Uniform Circuit Complexity.- Quantum Probabilistic Dyadic Second-Order Logic.- Structural Extensions of Display Calculi: A General Recipe.- The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic.- Boolean Dependence Logic and Partially-Ordered Connectives.- Extended Modal Dependence Logic EMDL.- Dependence Logic with Generalized Quantifiers: Axiomatizations.- Continuous Truth II: Reflections.- A Simple Separation Logic.- Independence in Database Relations.- Substructural Logic of Proofs.- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics.- A Finite Model Property for G¨odel Modal Logics.- Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice.- Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.- Information, Awareness and Substructural Logics.