25,161
edits
Changes
no edit summary
<ref>[http://webhome.cs.uvic.ca/%7Evanemden/downloads.html Downloads MHvE]</ref> <ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf ICGA Reference Database] (pdf)</ref> <ref>[https://dblp.uni-trier.de/pers/hd/e/Emden:M=_H=_van dblp: M. H. van Emden]</ref> <ref>[https://scholar.google.com/citations?user=C2QJcnoAAAAJ&hl=en Maarten van Emden - Google Scholar Citations]</ref>
==1970 ...==
* [[Maarten van Emden]] ('''1970'''). ''[https://dl.acm.org/citation.cfm?id=362753 Increasing the efficiency of quicksort]''. [[ACM#Communications|Communications of the ACM]], Vol. 13, No. 9<ref>[https://en.wikipedia.org/wiki/Quicksort Quicksort from Wikipedia]</ref>
* [[Maarten van Emden]] ('''1970'''). ''[https://dl.acm.org/citation.cfm?id=362803 Algorithms 402: Increasing the efficiency of quicksort]''. [[ACM#Communications|Communications of the ACM]], Vol. 13, No. 11
* [[Maarten van Emden]] ('''1971'''). ''An Analysis of Complexity''. Ph.D. thesis, [https://en.wikipedia.org/wiki/University_of_Amsterdam University of Amsterdam], advisor [[Mathematician#AvWijngaarden|Adriaan van Wijngaarden]]
* [[Maarten van Emden]] ('''1971'''). ''Optimal data compression''. [https://www.doc.ic.ac.uk/~shm/MI/mi6.html Machine Intelligence, Vol. 6]
* [[Maarten van Emden]], [[Mathematician#RKowalski|Robert Kowalski]] ('''1976'''). ''The Semantics of Predicate Logic as a Programming Language''. [[ACM#Journal|Journal of the ACM]], Vol. 23, No. 4, [http://webhome.cs.uvic.ca/%7Evanemden/Publications/kowVE.pdf pdf]
* [[Maarten van Emden]] ('''1977'''). ''Computations and Deductive Information Retrieval''. CS-77-16, [[University of Waterloo]], [http://www.cs.uwaterloo.ca/research/tr/1977/CS-77-16.pdf pdf]
* [[Maarten van Emden]] ('''1977'''). ''Relational Equations, Grammars, and Programs''. CS-77-17, [[University of Waterloo]], [http://www.cs.uwaterloo.ca/research/tr/1977/CS-77-17.pdf pdf]
* [[Maarten van Emden]] ('''1977'''). ''Programming with resolution logic''. [http://www.doc.ic.ac.uk/%7Eshm/MI/mi8.html Machine Intelligence , Vol. 8]
==1980 ...==
* [[Maarten van Emden]] ('''1982'''). ''An Algorithm for Interpreting Prolog Programs''. [https://dblp.uni-trier.de/db/conf/iclp/iclp82.html ICLP 1982]
* [[Maarten van Emden]] ('''1982'''). ''[https://www.researchgate.net/publication/292104329_CHESS_END-GAME_ADVICE_A_CASE_STUDY_IN_COMPUTER_UTILISATION_OF_KNOWLEDGE Chess End-game Advice: a Case Study in Computer Utilisation of Knowledge]''. [http://www.doc.ic.ac.uk/~shm/MI/mi10.html Machine Intelligence , Vol. 10] <ref>[[#Quotes|Quotes by Maarten van Emden]]</ref>
* [[Maarten van Emden]] ('''1986'''). ''Quantitative Deduction and its Fixpoint Theory''. [https://en.wikipedia.org/wiki/Journal_of_Logical_and_Algebraic_Methods_in_Programming Journal of Logic Programming], Vol. 3, No. 1, [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.6346 CiteSeerX]
* [[Maarten van Emden]] ('''1987'''). ''[https://www.researchgate.net/publication/221442952_First-order_Predicate_Logic_as_a_Common_Basis_for_Relational_and_Functional_Programming_Abstract First-order Predicate Logic as a Common Basis for Relational and Functional Programming]''. [https://dblp.uni-trier.de/db/conf/lics/lics87.html LICS 1987]
