How to Correctly Prune Tropical Trees

DOI10.1007/978-3-642-14128-7_10zbMath1286.68264arXiv1005.1475OpenAlexW2951084747MaRDI QIDQ3582700

Luca Saiu, Jean-Vincent Loddo

Publication date: 24 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1005.1475

zbMATH Keywords

searchlogicterm rewritingparsingtropical algebracombinatorial gamealpha-beta pruningrational gametropical game

Mathematics Subject Classification ID

Applications of game theory (91A80) Grammars and rewriting systems (68Q42) Combinatorial games (91A46)

This page was built for publication: How to Correctly Prune Tropical Trees