Metatheory - PDFSEARCH.IO - Document Search Engine

Metatheory
Results: 201

#	Item
51	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A list-machine benchmark for mechanized metatheory Andrew W. Appel · Robert Dockins · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-04-11 03:13:40 Symbol Natural deduction
52	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A list-machine benchmark for mechanized metatheory Andrew W. Appel · Robert Dockins · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-04-11 03:13:40 Symbol Natural deduction
53	Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Interpretation First-order logic Symbol Permutation Signature Parity of a permutation Combinatorial species Mathematics Model theory Logic
54	It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:08 Formal methods Automated theorem proving Logic in computer science POPLmark challenge Programming language theory Formal sciences QED manifesto Nqthm Theoretical computer science Mathematics Logic
55	Belief and Moore’s Paradox 1. Introduction How do we know what we believe? Any credible answer to this question must Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2013-06-03 05:54:07 Justification Critical thinking Metatheory Belief Social psychology Theory of justification Doxastic logic Internalism and externalism Introspection Epistemology Mind Philosophy
56	Original source of publication: Science and Engineering Ethics The final publication is available at www.springerlink.com DOI[removed]s11948[removed]The epistemic integrity of scientific research Jan De Winter a, Lasz Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-02-27 08:38:14 Metatheory Philosophy Epistemology Theory of justification Rofecoxib Integrity Scientific method Ethics Science Justification
57	LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-07-19 04:40:31 Logic in computer science Type theory Deduction Automated theorem proving Formal methods Twelf Symbol Proof assistant POPLmark challenge Logic Theoretical computer science Mathematical logic
58	FACILITY SUMMARY___________________________________ Owner/Operator Add to Reading List Source URL: www.securedbydesign.com Language: English - Date: 2012-11-27 06:26:41 Theory of justification Epistemology Philosophy Thought Critical thinking Justification Metatheory
59	Justifications and Wrong Judgements Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-25 09:49:03 Education Justification Metatheory Critical thinking Epistemology Primiero Theory of justification Per Martin-Löf Logic Philosophy Branches of philosophy Knowledge
60	HK Lecture1_ToPDF [Compatibility Mode] Add to Reading List Source URL: gened.hku.hk Language: English - Date: 2014-02-13 03:09:32 Science Ontology Analytic philosophy Metatheory Reductionism Reduction Holism Philosophy Metaphysics Philosophy of science

UPDATE