( en | de | ru )

 

Disambiguation of "Anderson, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Approximation to a decision procedure for the halting problem.

. Notre Dame J. Formal Log., 9 (4): 305-312 (1968)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Annegret Anderson

Philip Anderson

Olaf Anderson

Keith Anderson

Jonathan Anderson

 

Other publications of authors with the same name

LDBC Graphalytics: A Benchmark for Large-scale Graph Analysis on Parallel and Distributed Platforms, , , , , , , , , and 4 other author(s). Proc. VLDB Endow., 9 (13): 1317--1328 (September 2016)On the Reliability of RAID Systems: An Argument for More Check Drives, , and . CoRR, (2012)Analytic Hierarchy Process-based Fuzzy Measurement to Quantify Vulnerabilities of Web Applications, and . International Journal of Computer Networks & Communications (IJCNC), 12 (4): 105-123 (July 2020)Evaluation of traffic signal performance under oversaturated conditions using VISTA., , , and . SpringSim, SCS/ACM, (2009)Bioacoustic distances between the begging calls of brood parasites and their host species: a comparison of metrics and techniques, , , , , , , , , and . Behavioral Ecology and Sociobiology, 64 (11): 1915--1926 (2010)10.1007/s00265-010-1065-2.A Value Driven Agent: Instantiation of a Case-Supported Principle-Based Behavior Paradigm., , and . AAAI Workshops, volume WS-17 of AAAI Technical Report, AAAI Press, (2017)Network System's Vulnerability Quantification Using Multi-layered Fuzzy Logic Based on GQM., , and . NCS, volume 1271 of Advances in Intelligent Systems and Computing, page 100-115. Springer, (2020)A Prima Facie Duty Approach to Machine Ethics and Its Application to Elder Care., and . Human-Robot Interaction in Elder Care, volume WS-11-12 of AAAI Technical Report, AAAI, (2011)MedEthEx: A Prototype Medical Ethics Advisor., , and . AAAI, page 1759-1765. AAAI Press, (2006)Towards Diagram Processing: A Diagrammatic Information System.. AAAI/IAAI, page 394-401. AAAI Press / The MIT Press, (1999)