Invited Talk: A Tutorial on Finite Model Theory (at LICS 1993)
Authors: Phokion G. KolatisAbstract
No Abstract Available
BibTeX
@InProceedings{Kolatis-ATutorialonFiniteMo, author = {Phokion G. Kolatis}, title = {A Tutorial on Finite Model Theory}, booktitle = {Proceedings of the Eighth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1993}, year = 1993, editor = {Moshe Vardi}, month = {June}, pages = {122--122}, location = {Montreal, Canada}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }