Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract)

Jerzy Tiuryn

Browse the full FOCS paper archive.