Foundations of Software Science and Computation Structures

Overview of attention for book

Cover of 'Foundations of Software Science and Computation Structures'

Table of Contents

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 1 From Rewrite Rules to Axioms in the $$\lambda \varPi $$ λ Π -Calculus Modulo Theory
Altmetric Badge

Chapter 2 Light Genericity
Altmetric Badge

Chapter 3 Logical Predicates in Higher-Order Mathematical Operational Semantics
Altmetric Badge

Chapter 4 On Basic Feasible Functionals and the Interpretation Method
Altmetric Badge

Chapter 5 Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems
Altmetric Badge

Chapter 6 A Resolution-Based Interactive Proof System for UNSAT
Altmetric Badge

Chapter 7 Craig Interpolation for Decidable First-Order Fragments
Altmetric Badge

Chapter 8 Clones, closed categories, and combinatory logic
Altmetric Badge

Chapter 9 Reachability in Fixed VASS: Expressiveness and Lower Bounds
Altmetric Badge

Chapter 10 From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
Altmetric Badge

Chapter 11 Dimension-Minimality and Primality of Counter Nets
Altmetric Badge

Chapter 12 Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability

Attention for Chapter 11: Dimension-Minimality and Primality of Counter Nets

Altmetric Badge

You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.

Chapter title	Dimension-Minimality and Primality of Counter Nets
Chapter number	11
Book title	Foundations of Software Science and Computation Structures
Published by	Springer, Cham, January 2024
DOI	10.1007/978-3-031-57231-9_11
Book ISBNs	978-3-03-157230-2, 978-3-03-157231-9
Authors	Almagor, Shaull, Avni, Guy, Sinclair-Banks, Henry, Yeshurun, Asaf

View on publisher site Alert me about new mentions