ISBN: 9783031995354 - logic, language, information, and computation: 31st international workshop, wollic 2025, porto, portugal, july 14–17, 2025, proceedings: 15942 (lecture notes in computer science) (12 resultados)

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.The 21 full papers included in this book were carefully reviewed and selected from 57 submissions. The WoLLIC conference aim of fostering interdisciplinary research in pure and applied logic. …

Paperback. Condición: Brand New. 300 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Condición: Neu. Logic, Language, Information, and Computation | 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings | Dexter Kozen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2025 | Springer | EAN 9783031995354 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.The 21 full papers included in this book were carefully reviewed and selected from 57 submissions. The WoLLIC conference aim of fostering interdisciplinary research in pure and applied logic. 369 pp. Englisch. …

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

Condición: New. Print on Demand.

Condición: New. PRINT ON DEMAND.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -.- 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 384 pp. Englisch. …