EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: CR-F.4.1
Home Policy Brochure Browse Search User Area Contact Help

2011

Aceto, L. and Chen, Taolue and Ingolfsdottir, A. and Luttik, B. and van de Pol, J.C. (2011) On the axiomatizability of priority II. Theoretical computer science, 412 (28). pp. 3035-3044. ISSN 0304-3975 *** ISI Impact 0,643 ***
Bergstra, J.A. and van de Pol, J.C. (2011) A Calculus for Four-Valued Sequential Logic. Theoretical computer science, 412 (28). pp. 3122-3128. ISSN 0304-3975 *** ISI Impact 0,643 ***

2010

Ketema, J. and Simonsen, J.G. (2010) Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies. Logical Methods in Computer Science, 6 (1:7). pp. 1-35. ISSN 1860-5974 *** ISI Impact 0,569 ***

2009

Ketema, J. and Blom, S.C.C. and Aoto, T. and Simonsen, J.G. (2009) Rewriting Transfinite Terms. In: Liber Amicorum for Roel de Vrijer. Lulu, Raleigh, NC, pp. 129-144. ISBN not assigned
Ketema, J. and Simonsen, J.G. (2009) Infinitary Combinatory Reduction Systems: Confluence. Logical Methods in Computer Science, 5 (4). ISSN 1860-5974 *** ISI Impact 0,569 ***