Author of the publication

For a Massive Number of Massively Parallel Machines: What are the Target Applications, Who are the Target Users, and What New R&D is Needed to Hit the Target?

, , , , , , and . IPPS, page 631-634. IEEE Computer Society, (1996)

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.

 

Other publications of authors with the same name

Preface., and . Electr. Notes Theor. Comput. Sci., 151 (1): 1-2 (2006)Mathematical Knowledge Management.. Encyclopedia of Knowledge Management, IGI Global, (2011)STMM: A Set Theory for Mechanized Mathematics.. J. Autom. Reasoning, 26 (3): 269-289 (2001)Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation., and . CoRR, (2013)A Correctness Proof for Combinator Reduction with Cycles., , and . ACM Trans. Program. Lang. Syst., 12 (1): 123-134 (1990)IMPS: An Interactive Mathematical Proof System., , and . J. Autom. Reasoning, 11 (2): 213-248 (1993)A Simple Type Theory with Partial Functions and Subtypes.. Ann. Pure Appl. Logic, 64 (3): 211-240 (1993)A Unification-Theoretic Method for Investigating the k-Provability Problem.. Ann. Pure Appl. Logic, 51 (3): 173-214 (1991)A Set Theory with Support for Partial Functions., and . Studia Logica, 66 (1): 59-78 (2000)The Kreisel Length-of-Proof Problem.. Ann. Math. Artif. Intell., 6 (1-3): 27-55 (1992)