Fragments of First-Order Logic over Infi
โ
Volker Diekert; Manfred Kufleitner
๐
Article
๐
2010
๐
Springer
๐
English
โ 759 KB