Logic, Language, Information
(Sprache: Englisch)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information...
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Logic, Language, Information “
Klappentext zu „Logic, Language, Information “
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.
Inhaltsverzeichnis zu „Logic, Language, Information “
Tutorials and Invited Lectures.- Inter-deriving Semantic Artifacts for Object-Oriented Programming.- On the Descriptive Complexity of Linear Algebra.- Talks on Quantum Computing.- On Game Semantics of the Affine and Intuitionistic Logics.- The Grammar of Scope.- Contributed Papers.- Conjunctive Grammars and Alternating Pushdown Automata.- Expressive Power and Decidability for Memory Logics.- Reasoning with Uncertainty by Nmatrix-Metric Semantics.- A Propositional Dynamic Logic for CCS Programs.- Towards Ontology Evolution in Physics.- Nominal Matching and Alpha-Equivalence.- Interval Additive Generators of Interval T-Norms.- Propositional Dynamic Logic as a Logic of Belief Revision.- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method.- On the Formal Semantics of IF-Like Logics.- One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.- Labelled Calculi for ?ukasiewicz Logics.- An Infinitely-Often One-Way Function Based on an Average-Case Assumption.- On Characteristic Constants of Theories Defined by Kolmogorov Complexity.- Adversary Lower Bounds for Nonadaptive Quantum Algorithms.- On Second-Order Monadic Groupoidal Quantifiers.- Inference Processes for Quantified Predicate Knowledge.- Using ? -ctl to Specify Complex Planning Goals.- Hyperintensional Questions.- Skolem Theory and Generalized Quantifiers.- On a Graph Calculus for Algebras of Relations.
Bibliographische Angaben
- 2008, VIII, 313 Seiten, mit Abbildungen, Maße: 15,5 x 24,2 cm, Kartoniert (TB), Englisch
- Herausgegeben: Wilfrid Hodges, Ruy de Queiroz
- Verlag: Springer Berlin
- ISBN-10: 3540699368
- ISBN-13: 9783540699361
- Erscheinungsdatum: 19.06.2008
Sprache:
Englisch
Kommentar zu "Logic, Language, Information"
0 Gebrauchte Artikel zu „Logic, Language, Information“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logic, Language, Information".
Kommentar verfassen