25,161
edits
Changes
no edit summary
=Selected Publications=
<ref>[http://webhome.cs.uvic.ca/%7Evanemden/downloads.html Downloads MHvE]</ref> <ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf [ICGA Journal#RefDB|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]
* [[Maarten van Emden]], [https://dblp.uni-trier.de/pers/hd/s/Szeredi:P=eacute=ter Péter Szeredi] ('''1988'''). ''[https://www.sciencedirect.com/science/article/pii/B9780934613408500221 Converting AND-Control to OR-Control by Program Transformation]''. [https://www.elsevier.com/books/foundations-of-deductive-databases-and-logic-programming/minker/978-0-934613-40-8 Foundations of Deductive Databases and Logic Programming], [https://en.wikipedia.org/wiki/Morgan_Kaufmann_Publishers Morgan Kaufmann]
==1990 ...==
* [https://dblp.uni-trier.de/pers/hd/c/Cheng:Mantis_H=_M= Mantis H. M. Cheng], [[Maarten van Emden]], [https://dblp.uni-trier.de/pers/hd/r/Richards:B=_E= B. E. Richards] ('''1990'''). ''On Warren's Method for Functional Programming in Logic''. [https://dblp.uni-trier.de/db/conf/iclp/iclp90.html ICLP 1990] <ref>[https://en.wikipedia.org/wiki/David_H._D._Warren [Mathematician#DHDWarren|David H. D. Warren]] ('''1982'''). ''Higer-order extensions to prolog: are they needed?'' [https://aitopics.org/download/classics:C65CF540 pdf]</ref>
* [[Maarten van Emden]] ('''1992'''). ''Rhetoric versus Modernism in Computing''. [https://en.wikipedia.org/wiki/Journal_of_Logic_and_Computation Journal of Logic and Computation], Vol. 2
* [[Maarten van Emden]] ('''1992'''). ''[https://onlinelibrary.wiley.com/doi/abs/10.1002/stvr.4370020304 Structured Inspections of Code]''. [https://dblp.uni-trier.de/db/journals/stvr/stvr2.html Software Testing, Verification & Reliability, Vol. 2]
