On solving relational equations in Brouw
โ
Antonio Di Nola
๐
Article
๐
1990
๐
Elsevier Science
๐
English
โ 448 KB