Publication:3805879

zbMath0657.68009MaRDI QIDQ3805879

Dimiter Skordev

Publication date: 1987

zbMATH Keywords

Fibonacci sequence; comparing memory states; cyclic loop

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

11B37: Recurrences

68Q60: Specification and verification (program logics, model checking, etc.)

68N01: General topics in the theory of software