Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/715
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.contributor.author | Cabibbo, Luca | - |
dc.date.accessioned | 2005-04-12T08:16:55Z | - |
dc.date.available | 2005-04-12T08:16:55Z | - |
dc.date.issued | 1998 | - |
dc.identifier.citation | Acta Informatica, 35(8). p. 637-643 | - |
dc.identifier.issn | 0001-5903 | - |
dc.identifier.uri | http://hdl.handle.net/1942/715 | - |
dc.description.abstract | We observe that every first-order logic formula over the untyped version of some many-sorted vocabulary is equivalent to a union of many-sorted formulas over that vocabulary. This result has as direct corollary a theorem by Hull and Su on the expressive power of active-domain quantification in the relational calculus. | - |
dc.format.extent | 167278 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Springer | - |
dc.title | Converting untyped formulas to typed ones | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 643 | - |
dc.identifier.issue | 8 | - |
dc.identifier.spage | 637 | - |
dc.identifier.volume | 35 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.doi | 10.1007/s002360050135 | - |
dc.identifier.isi | 000075856800001 | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
item.contributor | Cabibbo, Luca | - |
item.accessRights | Open Access | - |
item.fullcitation | VAN DEN BUSSCHE, Jan & Cabibbo, Luca (1998) Converting untyped formulas to typed ones. In: Acta Informatica, 35(8). p. 637-643. | - |
item.fulltext | With Fulltext | - |
item.validation | ecoom 1999 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
converting.pdf | 163.36 kB | Adobe PDF | View/Open |
WEB OF SCIENCETM
Citations
7
checked on Apr 22, 2024
Page view(s)
58
checked on Sep 7, 2022
Download(s)
184
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.