Produktbild: Logic, Language, Information, and Computation
Band 15942 - 10%

Logic, Language, Information, and Computation 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings

10% sparen

64,99 € UVP 72,59 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.08.2025

Abbildungen

XII, 70 illus., 4 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Dexter Kozen + weitere

Verlag

Springer

Seitenzahl

369

Maße (L/B/H)

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

Gewicht

581 g

Sprache

Englisch

ISBN

978-3-031-99535-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.08.2025

Abbildungen

XII, 70 illus., 4 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

369

Maße (L/B/H)

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

Gewicht

581 g

Sprache

Englisch

ISBN

978-3-031-99535-4

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
  • .- Deep Induction for Inductive Families

    .- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables.

    .- Logics of Importation and Exportation for the Implicative Conditional.

    .- Paraconsistent Constructive Modal Logic.

    .- . Convergence laws for expansions of linear preorders.

    .- Indicative conditionals: algebraic considerations.

    .- Abstracting Conceptual Models as a Weakening Process.

    .- . Axiomatization and Decidability of Tense Information Logic.

    .- Infinitary Refinement Types for Temporal Properties in Scott Domains.

    .- On tame semantics for interpretability logic.

    .- Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels.

    .- Insensitive Games: Game Semantics for Modal Insensitivity.

    .- . Index set complexity for congruence lattices of lattices.

    .- The Satisfiability Problem in a Separation Logic of Relations.

    .- Graded Relation Updates in Modal Logic.

    .- Proof Search in Classical Propositional Logic with Partial Proof Terms.

    .- A significance-based account of ceteris paribus counterfactuals.

    .- Tabular intermediate logics comparison.

    .-  Insignificant Choice Polynomial Time -- A Logic Capturing PTIME.

    .-  Counterexamples to Import-Export in Conditionals: A Logical Analysis.