Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
Treffer 471 von 7770228
|
|
| Link zu diesem Datensatz | https://d-nb.info/1383692459 |
| Titel | Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings / edited by Dexter Kozen, Ruy de Queiroz |
| Person(en) |
Kozen, Dexter (Herausgeber) Queiroz, Ruy J. G. B. de (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2026 |
| Verlag | Cham : Springer Nature Switzerland, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2026 |
| Umfang/Format | Online-Ressource, XII, 369 p. 70 illus., 4 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-031-99535-4 Printed edition:: ISBN: 978-3-031-99537-8 |
| Inhalt | -- 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 |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2512080305466.802690166570 DOI: 10.1007/978-3-031-99536-1 |
| URL | https://doi.org/10.1007/978-3-031-99536-1 |
| ISBN/Einband/Preis | 978-3-031-99536-1 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 15942 |
| DDC-Notation | 005.10151 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 471 von 7770228
Administration
