Abstract:
We present a procedure for deciding whether two normed PA terms are bisimilar. The procedure is ``elementary,'' having doubly exponential non-deterministic time complexity.
ECS-LFCS-98-386.This report is available in the following formats: