Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1328323714
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/1328323714 |
| Art des Inhalts | Konferenzschrift |
| Titel | Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / edited by Naoki Kobayashi, James Worrell |
| Person(en) |
Kobayashi, Naoki (Herausgeber) Worrell, James (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2024 |
| Verlag | Cham : Springer Nature Switzerland, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2024 |
| Umfang/Format | Online-Ressource, XVI, 272 p. 37 illus., 11 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-031-57230-2 Printed edition:: ISBN: 978-3-031-57232-6 |
| Inhalt | Types and Programming Languages -- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory -- Light Genericity -- Logical Predicates in Higher-Order Mathematical Operational Semantics -- On Basic Feasible Functionals and the Interpretation Method -- Logic and Proofs -- Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems -- A Resolution-Based Interactive Proof System for UNSAT -- Craig Interpolation for Decidable First-Order Fragments -- Clones, closed categories, and combinatory logic -- Infinite-State Systems -- Reachability in Fixed VASS: Expressiveness and Lower Bounds -- From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting -- Dimension-Minimality and Primality of Counter Nets -- Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2405040414046.104758664649 DOI: 10.1007/978-3-031-57231-9 |
| URL | https://doi.org/10.1007/978-3-031-57231-9 |
| ISBN/Einband/Preis | 978-3-031-57231-9 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 14575 |
| DDC-Notation | 005.13 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
