Tiuryn, Jerzy profile picture

Tiuryn, Jerzy

Is this your author profile? Create an account to claim and customize it!

Dynamic Logic (Foundations of Computing)
Computer Science Logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994: Proceedings