Verification of Hierarchical Artifact Systems

Deutsch, Alin; Li, Yuliang; Vianu, Victor

doi:10.1145/3321487

Attention:

The DOI auto-population feature in the Public Access Repository (PAR) will be unavailable from 4:00 PM ET on Tuesday, July 8 until 4:00 PM ET on Wednesday, July 9 due to scheduled maintenance. We apologize for the inconvenience caused.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.

+ Advanced Search

Citation Details

Verification of Hierarchical Artifact Systems

Award ID(s):: 1815247

PAR ID:: 10157859

Author(s) / Creator(s):: Deutsch, Alin; Li, Yuliang; Vianu, Victor

Date Published:: 2019-06-19

Journal Name:: ACM Transactions on Database Systems

Volume:: 44

Issue:: 3

ISSN:: 0362-5915

Page Range / eLocation ID:: 1 to 68

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Journal Article:
https://doi.org/10.1145/3321487

Last Name:

First Name:

Search Results
Selected Authors

Type in a name, or the first few letters of a name, in one or both of appropriate search boxes above and select the search button. An attempt will be made to match authors that most closely relate to the text you typed.

No authors are currently selected. Choosing "Select These Authors" will enter a blank value for author search in the parent form.

Last Name:

First Name:

Search Results
Selected Editors

Type in a name, or the first few letters of a name, in one or both of appropriate search boxes above and select the search button. An attempt will be made to match editors that most closely relate to the text you typed.

No editors are currently selected. Choosing "Select These Editors" will enter a blank value for editor search in the parent form.

More Like this