The decidability of the FOL-DOL equivale
β
Keijo Ruohonen
π
Article
π
1979
π
Elsevier Science
π
English
β 465 KB