cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A099423 Lean quaternary temporal logic [LQTL] cumulative column frequencies of LQTL logic in A094266.

Original entry on oeis.org

1, 0, 0, 0, 2, 1, 0, 0, 3, 3, 1, 0, 4, 6, 4, 1, 6, 10, 10, 5, 12, 16, 20, 15, 28, 28, 36, 35, 64, 56, 64, 71, 136, 120, 120, 135, 272, 256, 240, 255, 528, 528, 496, 495, 1024, 1056, 1024, 991, 2016, 2080, 2080, 2015, 4032, 4096, 4160, 4095, 8128, 8128, 8256, 8255
Offset: 0

Views

Author

Robert H Barbour, Nov 17 2004; corrected Jun 10 2005

Keywords

Comments

Appears to satisfy the recurrence: a(n) = 5*a(n-4) - 10*a(n-8) + 10*a(n-12) - 4*a(n-16). - Chai Wah Wu, May 25 2016
This is a table read by rows of length 4. Every row is formed from the corresponding row of the table A094266 according to the rule: a, b, c, d -> b, c, d, a-1. - Andrey Zabolotskiy, Jan 06 2023

Crossrefs

Cf. A094266 (first differences row-wise).