( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inputs, Outputs, and Composition in the Logic of Information Flows.

, , , , и . CoRR, (2022)

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.

Holger Hebart

Heba Salem

Heba Elbeh

Heba Alym

Otto Hebauer

 

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

Distributed Subweb Specifications for Traversing the Web., , , , , и . CoRR, (2023)Expressiveness within Sequence Datalog., , , и . PODS, стр. 70-81. ACM, (2021)Input-Output Disjointness for Forward Expressions in the Logic of Information Flows., и . ICDT, том 186 из LIPIcs, стр. 8:1-8:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Executable First-Order Queries in the Logic of Information Flows., , , , и . ICDT, том 155 из LIPIcs, стр. 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Inputs, Outputs, and Composition in the Logic of Information Flows., , , , и . ACM Trans. Comput. Log., 24 (4): 33:1-33:44 (октября 2023)Concatenation, Separation, and Other Properties of Variably Polyadic Relations., и . FoIKS, том 10833 из Lecture Notes in Computer Science, стр. 17-33. Springer, (2018)Expressiveness within Sequence Datalog., , , и . CoRR, (2022)Distributed Subweb Specifications for Traversing the Web., , , , , и . Theory Pract. Log. Program., 24 (2): 394-420 (марта 2024)Logical Analysis of Input and Output Sensitivity in the Logic of Information Flows. Hasselt University, Belgium, (2023)Hassel University oai:documentserver.uhasselt.be:1942/40026.Link Traversal with Distributed Subweb Specifications., , , , , и . RuleML+RR, том 12851 из Lecture Notes in Computer Science, стр. 62-79. Springer, (2021)