Wythoff games, continued fractions, cedar trees and Fibonacci searches
From MaRDI portal
(Redirected from Publication:761983)
Recommendations
Cites work
- scientific article; zbMATH DE number 3835316 (Why is no real title available?)
- scientific article; zbMATH DE number 3655320 (Why is no real title available?)
- scientific article; zbMATH DE number 3688676 (Why is no real title available?)
- scientific article; zbMATH DE number 3705887 (Why is no real title available?)
- scientific article; zbMATH DE number 3707731 (Why is no real title available?)
- scientific article; zbMATH DE number 3725676 (Why is no real title available?)
- scientific article; zbMATH DE number 3755852 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3351184 (Why is no real title available?)
- A sound and relatively* complete Hoare-logic for a language with higher type procedures
- An axiomatic basis for computer programming
- Effective Axiomatizations of Hoare Logics
- First-order dynamic logic
- Generic commands--a tool for partial correctness formalisms
- On correct procedure parameter transmission in higher programming languages
- On termination problems for finitely interpreted ALGOL-like programs
- On the notion of expressiveness and the rule of adaptation
- Pascal. User manual and report. 2nd ed
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
- Sound and complete Hoare-like calculi based on copy rules
- Soundness and Completeness of an Axiom System for Program Verification
- Ten Years of Hoare's Logic: A Survey—Part I
- The IO- and OI-hierarchies
- The formal termination problem for programs with finite ALGOL 68-modes
Cited in
(29)- Computational Hardness of Multidimensional Subtraction Games
- A morphic approach to combinatorial games: the Tribonacci case
- Around Wythoff's game
- Wythoff quasigroups.
- Games played by Boole and Galois
- The Max-Welter game
- Variants of \((s, t)\)-Wythoff's game
- Sumsets associated with Wythoff sequences and Fibonacci numbers
- Invariant and dual subtraction games resolving the Duchêne-Rigo conjecture
- Complementary iterated floor words and the Flora game
- On the misere version of game Euclid and miserable games
- scientific article; zbMATH DE number 3851188 (Why is no real title available?)
- General restriction of \((s,t)\)-Wythoff's game
- Fifty years of Hoare's logic
- Multi-player Wythoff's game and its variants
- The Raleigh game
- A polynomial algorithm for a two parameter extension of Wythoff NIM based on the Perron-Frobenius theory
- On tame, pet, domestic, and miserable impartial games
- The switch operators and push-the-button games: a sequential compound over rulesets
- Geometrical extensions of Wythoff's game
- The use and usefulness of numeration systems
- Combinatorial structure and sumsets associated with Beatty sequences generated by powers of the golden ratio
- On the recurrence \(f_{m+1}=b_m f_m-f_{m-1}\) and applications
- General restrictions of Wythoff-like games
- Self-similarity of \(\mathcal{P}\)-positions of \((2n+1)\)-dimensional Wythoff's game
- Further generalizations of the Wythoff game and the minimum excludant
- RATWYT
- Sumsets associated with Beatty sequences
- Adjoining to \((s,t)\)-Wythoff's game its \(P\)-positions as moves
This page was built for publication: Wythoff games, continued fractions, cedar trees and Fibonacci searches
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q761983)
