An Observational Subset of First-Order Logic Cannot Specify the Behaviour of a Counter (Extended Abstract).

Oliver Schoett

Browse the full STACS paper archive.