Computing with infinitary logic

Authors: Abiteboul S.; Vardi M.Y.; Vianu V.¹

Source: Theoretical Computer Science, Volume 149, Number 1, 18 September 1995 , pp. 101-128(28)

Publisher: Elsevier

Language: English

Document Type: Research article

DOI: 10.1016/0304-3975(95)00027-T

Affiliations: 1: CSE C-0114 UC San Diego, La Jolla, CA 92093, USA

Links for this article

http://www.ingentaconnect.com/els/03043975/1995/00000149/00000001/art00027
http://openurl.ingenta.com/content?genre=article&issn=0304-3975&volume=149&issue=1&spage=101&epage=128
http://dx.doi.org/10.1016/0304-3975(95)00027-T