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.

 

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

Code Migration with First Order Continuations., и . APPIA-GULP-PRODE, стр. 215-226. (1998)Blackboard-based Extensions for Parallel Programming in BinProlog., и . ILPS, стр. 664. MIT Press, (1993)Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices.. CICM, том 9150 из Lecture Notes in Computer Science, стр. 118-133. Springer, (2015)A Generic Numbering System based on Catalan Families of Combinatorial Objects.. CoRR, (2014)Agent spaces: a scalable architecture for distributed logic agents., , и . RACS, стр. 263-268. ACM, (2012)Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects.. Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 1225-1239. Springer, (2000)BinProlog: a Continuation Passing Style Prolog Engine.. PLILP, том 631 из Lecture Notes in Computer Science, стр. 479-480. Springer, (1992)Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes.. MSFP@ICFP, стр. 11-18. ACM, (2010)Logic Programming and Logic Grammars with First-Order Continuations., и . LOPSTR, том 883 из Lecture Notes in Computer Science, стр. 215-230. Springer, (1994)A Declarative Specification of Tree-Based Symbolic Arithmetic Computations.. PADL, том 7149 из Lecture Notes in Computer Science, стр. 273-288. Springer, (2012)