13 papers:
CSL-2013-ChatterjeeF #game studies #infinity- Infinite-state games with finitary conditions (KC, NF), pp. 181–196.
LATA-2011-ChatterjeeF- Finitary Languages (KC, NF), pp. 216–226.
ICGT-2010-BraatzEGG #category theory- Finitary M-Adhesive Categories (BB, HE, KG, UG), pp. 234–249.
ICLP-J-2010-BaseliceB #decidability #source code #subclass- A decidable subclass of finitary programs (SB, PAB), pp. 481–496.
ESOP-2007-DengGMZ #probability #testing- Scalar Outcomes Suffice for Finitary Probabilistic Testing (YD, RJvG, CM, CZ), pp. 363–378.
TACAS-2007-Horn #algorithm #game studies #performance- Faster Algorithms for Finitary Games (FH), pp. 472–484.
TLCA-2007-FaggianP #linear #π-calculus- Ludics is a Model for the Finitary Linear π-Calculus (CF, MP), pp. 148–162.
- TACAS-2006-ChatterjeeH #game studies
- Finitary Winning in ω-Regular Games (KC, TAH), pp. 257–271.
CIAA-2005-VielhaberC #infinity #on the #set #transducer- On a Class of Bijective Binary Transducers with Finitary Description Despite Infinite State Set (MV, MdPCC), pp. 356–357.
- TLCA-2001-AltenkirchC #polymorphism #λ-calculus
- A Finitary Subsystem of the Polymorphic λ-Calculus (TA, TC), pp. 22–28.
DLT-1995-Nitsche #linear #logic #semantics- A Finitary-Language Semantics for Propositional Linear Temporal Logic (UN), pp. 482–489.
LICS-1994-AlurH- Finitary Fairness (RA, TAH), pp. 52–61.
- LICS-1986-AmadioBL #equation #higher-order #λ-calculus
- The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations (RMA, KBB, GL), pp. 122–130.
