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
- Publisher:
- Naoki Kobayashi, James Worrell
- Publisher:
- Springer, 04/2024
- Binding:
- Kartoniert / Broschiert, Paperback
- Language:
- Englisch
- ISBN-13:
- 9783031572302
- Item number:
- 11822701
- Volume:
- 288 Pages
- Weight:
- 600 g
- Format:
- 241 x 160 mm
- Thickness:
- 20 mm
- Release date:
- 6.4.2024
- Series:
- Lecture Notes in Computer Science - volume 14575
- Note
-
Caution: Product is not in German language
Other releases of Foundations of Software Science and Computation Structures |
Price |
|---|
Blurb
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.
