From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Process-Centric Views of Data-Driven Business Artifacts., и . ICDT, том 31 из LIPIcs, стр. 247-264. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Semantics and Expressiveness Issues in Active Databases., и . PODS, стр. 126-138. ACM Press, (1995)Automatic verification of database-centric systems., , , и . ACM SIGLOG News, 5 (2): 37-56 (2018)Finite and Infinite in Logic.. Finite Versus Infinite, Springer, (2000)The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space.. MFCS, том 53 из Lecture Notes in Computer Science, стр. 537-542. Springer, (1977)A Spin-based Verifier for Artifact Systems., , и . CoRR, (2017)Editorial: JACM at the start of a new decade.. J. ACM, 57 (3): 12:1-12:3 (2010)Tractable Query Languages for Complex Object Databases., и . PODS, стр. 315-327. ACM Press, (1991)Procedural and Declarative Database Update Languages., и . PODS, стр. 240-250. ACM, (1988)Tableaux which Define Expression Mappings., и . XP2 Workshop on Relational Database Theory, (1981)