13 papers:
ICALP-v2-2015-ColcombetS #linear #order #quantifier #set- Limited Set quantifiers over Countable Linear Orderings (TC, AVS), pp. 146–158.
RTA-TLCA-2014-BizjakBM #nondeterminism #type system- A Model of Countable Nondeterminism in Guarded Type Theory (AB, LB, MM), pp. 108–123.
LICS-2012-RabinovichR #branch- Interpretations in Trees with Countably Many Branches (AR, SR), pp. 551–560.
- ICALP-v2-2011-CartonCP #linear #order #regular expression #word
- Regular Languages of Words over Countable Linear Orderings (OC, TC, GP), pp. 125–136.
CSL-2011-SchwinghammerB #nondeterminism #reasoning #relational- Step-Indexed Relational Reasoning for Countable Nondeterminism (JS, LB), pp. 512–524.
FoSSaCS-2006-Laird #abstraction #nondeterminism- Bidomains and Full Abstraction for Countable Nondeterminism (JL), pp. 352–366.
DLT-J-2004-RispalC05 #linear #order #set- Complementation of rational sets on countable scattered linear orderings (CR, OC), pp. 767–786.
- CSL-2005-CourcelleD #composition #graph #higher-order #logic #monad
- The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic (BC, CD), pp. 325–338.
- DLT-2004-RispalC #linear #order #set
- Complementation of Rational Sets on Countable Scattered Linear Orderings (CR, OC), pp. 381–392.
- CSL-2003-BodirskyN #constraints
- Constraint Satisfaction with Countable Homogeneous Templates (MB, JN), pp. 44–57.
WLC-2000-Carton #word- R-Trivial Languages of Words on Countable Ordinals (OC), pp. 88–102.
- ICALP-1982-Plotkin #nondeterminism
- A Powerdomain for Countable Non-Determinism (Extended Abstract) (GDP), pp. 418–428.
- ICALP-1981-AptP #nondeterminism
- A Cook’s Tour of Countable Nondeterminism (KRA, GDP), pp. 479–494.
