Browse by Journal

A

Amtoft, Torben, Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark and Li, Zheng (2010) An alternative characterization of weak order dependence. Information Processing Letters, 110 (21) . pp. 939-943. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2010.07.023)

C

Chen, Taolue, Fokkink, Wan and Van Glabbeek, Rob (2008) Ready to preorder: the case of weak process semantics. Information Processing Letters, 109 (2) . pp. 104-111. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2008.09.003)

Chen, Taolue, Yu, Nengkun and Han, Tingting (2015) Continuous-time orbit problems are decidable in polynomial-time. Information Processing Letters, 115 (1) . pp. 11-14. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2014.08.004)

M

Martin, Barnaby (2011) Low-level dichotomy for quantified constraint satisfaction problems. Information Processing Letters, 111 (20) . pp. 999-1003. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2011.07.010)