An observational subset of first-order logic cannot specify the behaviour of a counter (extended abstract)
Book chapter (January 1991)
The most recent citing publication is shown below. View this citation on Dimensions.
Book chapter (January 1991)