Vor Ort
Merkzettel Warenkorb
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

Aus der Reihe Lecture Notes in Computer Science
10% sparen

62,99 € UVP 70,61 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.08.2025

Abbildungen

XII, 369 p. 70 illus., 4 illus. in color.

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, 369 p. 70 illus., 4 illus. in color.

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 GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

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.