Foundations of Software Science and Computation Structures, Kartoniert / Broschiert
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
(soweit verfügbar beim Lieferanten)
- Herausgeber:
- Naoki Kobayashi, James Worrell
- Verlag:
- Springer, 04/2024
- Einband:
- Kartoniert / Broschiert, Paperback
- Sprache:
- Englisch
- ISBN-13:
- 9783031572302
- Artikelnummer:
- 11822701
- Umfang:
- 288 Seiten
- Gewicht:
- 600 g
- Maße:
- 241 x 160 mm
- Stärke:
- 20 mm
- Erscheinungstermin:
- 6.4.2024
- Serie:
- Lecture Notes in Computer Science - Band 14575
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Foundations of Software Science and Computation Structures |
Preis |
|---|
Klappentext
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.
