For the recuperation of the process of change for the people and with the people : Reform and revolution in South America: a forum on Bolivia and Venezuela = Pour la récupération du processus de changement, pour les gens et avec les gens : La réforme et la révolution en Amérique du Sud : un forum sur la Bolivie et le VenezuelaDialectical anthropology. 2011, Vol 35, Num 3, pp 285-293, issn 0304-4092, 9 p.Article

DNA sequence and comparative analysis of chimpanzee chromosome 22Nature (London). 2004, Vol 429, Num 6990, pp 382-388, issn 0028-0836, 7 p.Article

RTA 2001 : rewriting techniques and applications (Utrecht, 22-24 May 2001)Middeldorp, Aart.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42117-3, XII, 361 p, isbn 3-540-42117-3Conference Proceedings

Dix ans de quotas laitiers dans les Côtes-d'ArmorTrajectoires Bretagne. 1993, Num 8, pp 5-8, issn 1167-4563Article

Family Influences on Intermarriage Attitudes: A Sibling Analysis in the NetherlandsHUIJNK, Willem; LIEFBROER, Aart C.Journal of marriage and the family. 2012, Vol 74, Num 1, pp 70-85, issn 0022-2445, 16 p.Article

Automating the dependency pair methodHIROKAWA, Nao; MIDDELDORP, Aart.Information and computation (Print). 2005, Vol 199, Num 1-2, pp 172-199, issn 0890-5401, 28 p.Conference Paper

Child Care and Child Births: The Role of Grandparents in the NetherlandsTHOMESE, Fleur; LIEFBROER, Aart C.Journal of marriage and the family. 2013, Vol 75, Num 2, pp 403-421, issn 0022-2445, 19 p.Article

Confluence and termination of simply typed term rewriting systemsYAMADA, Toshiyuki.Lecture notes in computer science. 2001, pp 338-352, issn 0302-9743, isbn 3-540-42117-3Conference Paper

On termination of higher-order rewritingVAN RAAMSDONK, Femke.Lecture notes in computer science. 2001, pp 261-275, issn 0302-9743, isbn 3-540-42117-3Conference Paper

A normal form for Church-Rosser language systemsWOINOWSKI, Jens R.Lecture notes in computer science. 2001, pp 322-337, issn 0302-9743, isbn 3-540-42117-3Conference Paper

The context-splittable normal form for Church-Rosser language systemsWOINOWSKI, Jens R.Information and computation (Print). 2003, Vol 183, Num 2, pp 245-274, issn 0890-5401, 30 p.Conference Paper

Deriving focused calculi for transitive relationsSTRUTH, Georg.Lecture notes in computer science. 2001, pp 291-305, issn 0302-9743, isbn 3-540-42117-3Conference Paper

FLOPS'99 : functional and logic programming (Tsukuba, 11-13 November 1999)Middeldorp, Aart; Sato, Taisuke.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66677-X, X, 368 p, isbn 3-540-66677-XConference Proceedings

Adaptive persuasive messaging to increase service retention: using persuasion profiles to increase the effectiveness of email reminders : Persuasion, Influence, Nudge, or Coercion (PINC)KAPTEIN, Maurits; VAN HALTEREN, Aart.Personal and ubiquitous computing (Print). 2013, Vol 17, Num 6, pp 1173-1185, issn 1617-4909, 13 p.Article

Matching with free function symbols : A simple extension of matching?RINGEISSEN, Christophe.Lecture notes in computer science. 2001, pp 276-290, issn 0302-9743, isbn 3-540-42117-3Conference Paper

Transfinite rewriting semantics for term rewriting systemsLUCAS, Salvador.Lecture notes in computer science. 2001, pp 216-230, issn 0302-9743, isbn 3-540-42117-3Conference Paper

WATERLOGGING AND SALINITY PROBLEMS IN THE INDUS PLAIN (PAKISTAN).VAN AART R.1973; INTERNATION. INST. LAND RECLAM. IMPROVEMENT, ANNU. REP.; NLD; 1973, VOL. 1973, P. 44 A 53Serial Issue

A DYNAMIC INPUT-OUTPUT MODEL FOR INVESTIGATING ALTERNATIVE FUTURES. APPLICATIONS TO THE SOUTH AFRICAN ECONOMYAART ROUKENS DE LANGE.1980; TECHNOL. FORECAST. SOC. CHANGE; ISSN 0040-1625; USA; DA. 1980; VOL. 18; NO 3; PP. 235-245; BIBL. 16 REF.Article

SOME ASPECTS OF DEVELOPING DELTAIC AND COASTAL AREAS IN SOUTHERN ASIA.VAN AART R.1978; INTERNATION. INST. LAND RECLAM. IMPROV., ANNU. REP.; NETHERL.; DA. 1978; VOL. 1977; PP. 7-20; 6 ILL.Article

Derivation of a 10-Year Radar-Based Climatology of RainfallOVEREEM, Aart; HOLLEMAN, Iwan; BUISHAND, Adri et al.Journal of applied meteorology and climatology. 2009, Vol 48, Num 7, pp 1448-1463, issn 1558-8424, 16 p.Article

For richer, for poorer : The impact of macroeconomic conditions on union dissolution rates in the Netherlands 1972-1996 = Pour plus riche, pour plus pauvre : l'impact des conditions macroéconomiques sur les taux des dissolutions des unions au Pays-Bas entre 1972 et 1996FISCHER, Tamar; LIEFBROER, Aart C.European sociological review. 2006, Vol 22, Num 5, pp 519-532, issn 0266-7215, 14 p.Article

Pharmacological therapy for acromegaly: A critical reviewMULLED, Alex F; VAN DER LELY, Aart Jan.Drugs (Basel). 2004, Vol 64, Num 16, pp 1817-1838, issn 0012-6667, 22 p.Article

Verifying orientability of rewrite rules using the knuth-bendix orderKOROVIN, Konstantin; VORONKOV, Andrei.Lecture notes in computer science. 2001, pp 137-153, issn 0302-9743, isbn 3-540-42117-3Conference Paper

Polytypic programming with ease (extended abstract)HINZE, R.Lecture notes in computer science. 1999, pp 21-36, issn 0302-9743, isbn 3-540-66677-XConference Paper

Implementing encapsulated search for a Lazy functional logic languageLUX, W.Lecture notes in computer science. 1999, pp 100-113, issn 0302-9743, isbn 3-540-66677-XConference Paper