"Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable ..."

Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa (2009)
[–] 

Details and statistics

DOI: 10.11185/IMT.4.411

access: closed

type: Journal Article

metadata version: 2024-09-05