| 紀錄類型: |
書目-電子資源
: Monograph/item
|
| 正題名/作者: |
Foundations of software science and computation structures/ edited by Naoki Kobayashi, James Worrell. |
| 其他題名: |
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. |
| 其他題名: |
FOSSACS 2024 |
| 其他作者: |
Kobayashi, Naoki. |
| 團體作者: |
FOSSACS (Conference) |
| 出版者: |
Cham :Springer Nature Switzerland : : 2024., |
| 面頁冊數: |
xvi, 272 p. :ill. (some col.), digital ;24 cm. |
| 內容註: |
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. |
| Contained By: |
Springer Nature eBook |
| 標題: |
Computer software - Congresses. - |
| 電子資源: |
https://doi.org/10.1007/978-3-031-57231-9 |
| ISBN: |
9783031572319 |