A Note on Rewriting Proofs and Fibonacci Numbers

From MaRDI portal

Publication:5434514

Jump to:navigation, search

DOI10.1007/978-3-540-72734-7_20zbMath1133.05006OpenAlexW2125735754MaRDI QIDQ5434514

Max I. Kanovich

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_20

zbMATH Keywords

combinatorics Fibonacci numbers confluence integer partitions termination strong normalization partition identities Church-Rosser property multiset rewriting

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (1)

Multiset rewriting over Fibonacci and tribonacci numbers

This page was built for publication: A Note on Rewriting Proofs and Fibonacci Numbers

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5434514&oldid=20193269"

Pages with script errors