- Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems ChadE. Brown Tue 14 January 2014
- Tutorial on Tree Transducers Hendrik Jan Hoogeboom Tue 14 January 2014
- Computability by Probabilistic Turing Machines Eugene S. Santos Tue 14 January 2014
- Tree Automata for Rewrite Strategies Pierre Réty Julie Vuotto Tue 14 January 2014
- Linking higher order logic to binary decision diagrams Mike Gordon Tue 14 January 2014
- Hierarchical Decision Diagrams to Exploit Model Structure Jean-Michel Couvreur Yann Thierry-Mieg Tue 14 January 2014
- Hierarchical Set Decision Diagrams and Automatic Saturation Alexandre Hamez Yann Thierry-Mieg Fabrice Kordon Tue 14 January 2014
- An Unusual Temporal Logic Alexander Rabinovich Tue 14 January 2014
- Topological Properties of Infinite Computations Michał Skrzypczak Mon 13 January 2014
- Finite-Delay Strategies In Infinite Games Wenyun Quan Mon 13 January 2014
- Logical specifications of infinite computations Wolfgang Thomas Helmut Lescow Mon 13 January 2014
- Looking at Mean-Payoff and Total-Payoff through Windows Krishnendu Chatterjee Laurent Doyen Mickael Randour Jean-François Raskin Mon 13 January 2014
- Looking at Mean-Payoff and Total-Payoff through Windows Krishnendu Chatterjee Laurent Doyen Mickael Randour Jean-François Raskin Mon 13 January 2014
- Stochastic limit-average games are in EXPTIME Krishnendu Chatterjee Rupak Majumdar ThomasA. Henzinger Mon 13 January 2014
- Stochastic Limit-Average Games are in EXPTIME Krishnendu Chatterjee Rupak Majumdar Thomas A. Henzinger Mon 13 January 2014
- On the computational complexity of solving stochastic mean-payoff games Vladimir Gurvich Peter Bro Miltersen Mon 13 January 2014
- Stochastic Games With Perfect Information and Time Average Payoff Thomas M. Liggett Steven A. Lippman Mon 13 January 2014
- Strategy Logic Krishnendu Chatterjee ThomasA. Henzinger Nir Piterman Mon 13 January 2014
- Admissibility in Infinite Games Dietmar Berwanger Mon 13 January 2014
- Agreeing to Disagree Robert J. Aumann Mon 13 January 2014
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
