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.

 

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

Theorema 2.0: Computer-Assisted Natural-Style Mathematics., , , , и . J. Formaliz. Reason., 9 (1): 149-185 (2016)Preface., , , и . Ann. Math. Artif. Intell., 91 (5): 563-565 (октября 2023)CLP(H): Constraint Logic Programming for Hedges., , , и . CoRR, (2015)Symbolic computation in software science., и . J. Symb. Comput., (2019)Regular expression order-sorted unification and matching., и . J. Symb. Comput., (2015)A rewrite-based computational model for functional logic programming., , и . SCSS, том 39 из EPiC Series in Computing, стр. 95-106. EasyChair, (2016)Matching with Membership Constraints for Hedge and Context Variables., и . UNIF, стр. 55-68. (2008)Anti-Unification of Concepts in Description Logic EL., и . KR, стр. 227-236. AAAI Press, (2016)Anti-Unification: Algorithms and Applications.. UNIF@RTA/TLCA, том 19 из EPiC Series in Computing, стр. 2. EasyChair, (2013)Unranked Anti-Unification with Hedge and Context Variables., и . UNIF@RTA/TLCA, том 19 из EPiC Series in Computing, стр. 13-21. EasyChair, (2013)