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

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.06.2010

Abbildungen

X, 259 p. 28 illus.

Herausgeber

Anuj Dawar + weitere

Verlag

Springer Berlin

Seitenzahl

259

Maße (L/B/H)

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

Gewicht

417 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-13823-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.06.2010

Abbildungen

X, 259 p. 28 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

259

Maße (L/B/H)

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

Gewicht

417 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-13823-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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
  • Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics.- A CTL-Based Logic for Program Abstractions.- Application of Logic to Integer Sequences: A Survey.- The Two-Variable Fragment with Counting Revisited.- Intuitionistic Logic and Computability Theory.- Foundations of Satisfiability Modulo Theories.- Logical Form as a Determinant of Cognitive Processes.- Formal Lifetime Reliability Analysis Using Continuous Random Variables.- Modal Logics with Counting.- Verification of the Completeness of Unification Algorithms à la Robinson.- Mechanisation of PDA and Grammar Equivalence for Context-Free Languages.- On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations.- Decidability and Undecidability Results on the Modal ?-Calculus with a Natural Number-Valued Semantics.- Solving the Implication Problem for XML Functional Dependencies with Properties.- On Anaphora and the Binding Principles in Categorial Grammar.- Feasible Functions over Co-inductive Data.- Interval Valued Fuzzy Coimplication.- Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures.- Intersection Type Systems and Explicit Substitutions Calculi.- Generalising Conservativity.