About this scholarly article

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Small Substructures and Decidability Issues for First-Order Logic with Two Variables by Kieronski, E.; Otto, M. is a scholarly article available to read on EtoBox.

Author

Kieronski, E.; Otto, M.

Publisher

IEEE

Published

2005

Language

EN