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.

 

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

Negation in Logic Programming: A Formalization in Constructive Logic.. IS/KI, том 474 из Lecture Notes in Computer Science, стр. 30-46. Springer, (1990)Upside-down deduction.. BDA, стр. 91-. INRIA, (1990)In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.. CoRR, (2018)Query Answering in Information Systems with Integrity Constraints.. IICIS, том 109 из IFIP Conference Proceedings, стр. 113-130. Chapman Hall, (1997)Discerning Actuality in Backstage - Comprehensible Contextual Aging., , и . EC-TEL, том 7563 из Lecture Notes in Computer Science, стр. 126-139. Springer, (2012)CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge., , и . CSI-SE@ICSE, стр. 1-8. ACM, (2018)On the number of 1-factors of locally finite graphs.. J. Comb. Theory, Ser. B, 34 (1): 48-57 (1983)Interaction in Massive Courses., , , и . J. Univers. Comput. Sci., 20 (1): 1-5 (2014)Intensional Updates: Abduction via Deduction.. ICLP, стр. 561-575. MIT Press, (1990)Model Theory and Entailment Rules for RDF Containers, Collections and Reification, , и . (2009)