Renamings in program schemas

• Authors:

• Luigi Logrippo

• Affiliations:

• -

• Venue:
• SWAT '72 Proceedings of the 13th Annual Symposium on Switching and Automata Theory (swat 1972)
• Year:
• 1972