Flick Club LogoFlick Club Logo

Decision problems for equational theories of relation algebras

H. Andréka

1997
Decidability (Mathematical Logic) Relation Algebras
Baba is You
4.0 157 votes
Psychonauts 2
4.4 152 votes
Dragon Ball Z: Sagas
2.4 50 votes
Microsoft Solitaire
3.8 53 votes
EA Sports FC 24
3.1 99 votes
Super Mario Bros. Wonder
4.6 136 votes
Jusant
4.1 67 votes
Prince of Persia: The Lost Crown
4.2 53 votes
Assassin's Creed Mirage
3.8 89 votes
Tekken 8
4.2 75 votes
Call of Duty: Modern Warfare III
3.1 107 votes
RoboCop: Rogue City
3.7 55 votes
Life is Strange: True Colors
4.1 170 votes
Teenage Mutant Ninja Turtles: Shredder's Revenge
4.1 126 votes
Pokémon Unite
3.6 65 votes
Crash Bandicoot 4: It's About Time
4.2 118 votes
It Takes Two
4.5 546 votes
Star Wars: Squadrons
3.8 117 votes
FIFA 21
3.5 102 votes
Metal: Hellsinger
4.1 69 votes
Sackboy: A Big Adventure
4.1 69 votes
Kena: Bridge of Spirits
4.0 161 votes
Astro's Playroom
4.1 201 votes
Ratchet & Clank: Rift Apart
4.4 209 votes
Returnal
4.3 142 votes
Hitman 3
4.3 150 votes
Bugsnax
3.8 51 votes
Nobody Saves the World
4.1 56 votes
Death's Door
4.2 143 votes
Lies of P
4.3 155 votes
Viewfinder
4.2 54 votes
Monster Hunter Rise
4.3 100 votes
Ender Lilies: Quietus of the Knights
4.1 50 votes
PowerWash Simulator
3.9 54 votes
Citizen Sleeper
4.0 53 votes
Trek to Yomi
3.5 68 votes
A Plague Tale: Requiem
4.2 181 votes
Marvel's Guardians of the Galaxy
4.1 279 votes
Tiny Tina's Wonderlands
3.8 57 votes
Planet of Lana
4.3 74 votes
Palworld
3.5 172 votes
Gotham Knights
3.3 52 votes
Call of Duty: Black Ops Cold War
3.7 138 votes
Black Myth: Wukong
4.4 87 votes
Hogwarts Legacy
4.2 340 votes
Mario Party Superstars
4.0 50 votes
FIFA 22
3.8 76 votes
XDefiant
3.2 73 votes