Multiset rewriting over Fibonacci and Tribonacci numbers
作者：
Highlights：
• Bridging formal logic and combinatorics.
• Formal logic techniques are applied directly to the problems in pure combinatorics.
• Church–Rosser property for both rewriting systems and their inverse counterparts.
• Bijective proofs for partition identities over k-step Fibonacci numbers.
• A new series of partition identities over k-step Fibonacci numbers.
摘要
•Bridging formal logic and combinatorics.•Formal logic techniques are applied directly to the problems in pure combinatorics.•Church–Rosser property for both rewriting systems and their inverse counterparts.•Bijective proofs for partition identities over k-step Fibonacci numbers.•A new series of partition identities over k-step Fibonacci numbers.
论文关键词：Multiset rewriting,Church–Rosser property,Confluence,Termination,Integer partitions,Partition identities,Fibonacci numbers,Tribonacci numbers,k-Step Fibonacci numbers
论文评审过程：Received 16 February 2012, Revised 7 July 2013, Accepted 3 February 2014, Available online 4 April 2014.
论文官网地址：https://doi.org/10.1016/j.jcss.2014.04.006
