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

researchr

You are not signed in
Sign in
Sign up

Jerzy Tiuryn. Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract). In 22nd Annual Symposium on Foundations of Computer Science, 28-30 October 1981, Nashville, Tennessee, USA. pages 335-339, IEEE, 1981.

Abstract is missing.

runs on WebDSL