Geodesic

DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)

Non-Determinism and Nash Equilibria for Sequential Game over Partial Order
Classical Combinatory Logic
The call-by-value λµ∧∨-calculus
Undecidable problems concerning densities of languages
On-line coloring of $I_s$-free graphs
On-line Adaptive Chain Covering of Upgrowing Posets
Solving equations over small unary algebras
Random Boolean expressions