Logic, Language, Information and Computation
Editat de Anuj Dawar, Ruy De Queirozen Limba Engleză Paperback – 17 iun 2010
Preț: 320.72 lei
Preț vechi: 400.90 lei
-20%
Puncte Express: 481
Preț estimativ în valută:
56.67€ • 64.98$ • 49.18£
56.67€ • 64.98$ • 49.18£
Carte tipărită la comandă
Livrare economică 14-28 mai
Specificații
ISBN-13: 9783642138232
ISBN-10: 3642138233
Pagini: 272
Ilustrații: X, 259 p. 28 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.42 kg
Ediția:2010
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642138233
Pagini: 272
Ilustrații: X, 259 p. 28 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.42 kg
Ediția:2010
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.