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

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Aus der Reihe Lecture Notes in Computer Science

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.07.2014

Abbildungen

XX, 17 illus., schwarz-weiss Illustrationen

Herausgeber

Ulrich Kohlenbach + weitere

Verlag

Springer Berlin

Seitenzahl

237

Maße (L/B/H)

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

Gewicht

3985 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-662-44144-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.07.2014

Abbildungen

XX, 17 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

237

Maße (L/B/H)

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

Gewicht

3985 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-662-44144-2

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)
Die Leseprobe wird geladen.
  • Produktbild: Logic, Language, Information, and Computation
  • Produktbild: Logic, Language, Information, and Computation
  • Produktbild: Logic, Language, Information, and Computation

  • On Normal Numbers.- Dependence Logic.- Syntax and Semantics for Translation.- Intersection types for normalization and verification.- Quantum State Transformations and Branching Distributed Temporal Logic.- Backward deterministic Büchi automata.- Deniability for Downward and Vertical XPath on Data Trees.- On the value of variables.- Logics with Copy and Remove.- Unranked Second-Order Anti-Unification.- Reinstatement and the requirement of maximal specificity in argument Systems.- Sequentialization for N-Graphs via Sub-N-Graphs.- Interrogative dependencies and the constructive content of inquisitive Proofs.- Modal logics of uncertainty with two layer-syntax: a general completeness theorem.- Ancestral Logic: a Proof Theoretical Study.- A Calculus of Anyons.- Theorems on Pre-Fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars.- Common Knowledge Semantics of Armstrong's Axioms.- On Distributed Stochastic Logics for Mobile Systems.- On the Construction of Analytic Sequent Calculi for Sub-classical Logics.- On the Broader Epistemological Significance of Self-Justifying Axiom Systems.