Computer Science Logic

Overview of attention for book

Cover of 'Computer Science Logic'

Table of Contents

Attention for Chapter 25: A sound metalogical semantics for input/output effects

Altmetric Badge

Citations

dimensions_citation: 1 Dimensions

Readers on

mendeley: 5 Mendeley

Summary Dimensions citations

So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

Satisfiability Threshold of Random Propositional S5 Theories

Article in Axioms (April 2024)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.