HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Timo Lang

Publications
A Simple Token Game and its Logic
Christian Fermüller, Robert Freiman and Timo Lang
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

game semantics, linear logic, proof theory, resource logic.

Copyright © 2012-2025 easychair.org. All rights reserved.