Coen - PDFSEARCH.IO - Document Search Engine

Coen
Results: 360

#	Item
161	Noname manuscript No. (will be inserted by the editor) Declarative Representation of Proof Terms Claudio Sacerdoti Coen Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-05-22 05:46:20 Proof theory Mathematical proofs Philosophical logic Logic in computer science Natural deduction Entailment Curry–Howard correspondence Theorem First-order logic Logic Mathematics Mathematical logic
162	UITP[removed]A User Interface for a Mathematical System that Allows Ambiguous Formulae Claudio Sacerdoti Coen 1,2 Department of Computer Science, University of Bologna Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-01-19 05:48:12 Mathematical logic Model theory Predicate logic Formal languages Interpretation Ambiguity Mathematical notation Formal proof ALGOL 68 Logic Semantics Mathematics
163	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-09-08 04:47:27 Algebra Monoid Unification Semigroup Ring Inverse element ALGOL 68 Abstract algebra Algebraic structures Mathematics
164	Natural deduction environment for Matita Claudio Sacerdoti Coen? and Enrico Tassi? Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.it Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2010-02-23 11:12:50 Mathematical logic Markup languages Mathematical markup languages Logical syntax Automated theorem proving Natural deduction MathML Theorem Formal proof Logic Mathematics Proof theory
165	JOEL DOUGHERTY Supervising Sound Editor/ Re-Recording Mixer SUPERVISING SOUND EDITOR CREDITS SOUND EDITOR CREDITS Add to Reading List Source URL: www.wbsound.com Language: English - Date: 2015-03-27 20:07:52 Film crew Terrence Malick The Tree of Life Supervising Sound Editor Sound editor David Gordon Green Coen brothers Film Cinema of the United States American film directors
166	Declarative Representation of Proof Terms Claudio Sacerdoti Coen? Department of Computer Science, University of Bologna [removed] Abstract. We present a declarative language inspired by the pseudonatural lang Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2008-10-31 05:51:56 Proof theory Entailment Symbol Structure Logic Deduction Natural deduction
167	Working with Mathematical Structures in Type Theory Claudio Sacerdoti Coen and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.i Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2008-03-13 12:28:13 Logic Type theory Metalogic Structure Interpretation Subtype polymorphism Sheaf Function Unification Mathematics Mathematical logic Model theory
168	Lebesgue’s Dominated Convergence Theorem in Bishop’s Style Claudio Sacerdoti Coen Enrico Zoli Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2008-11-20 08:04:23 Mathematical series Calculus Convergence General topology Linear algebra Uniform space Lp space Net Uniform convergence Mathematical analysis Mathematics Algebra
169	039.# LIPSYNC ? December 2008 Add to Reading List Source URL: mrc.org.au Language: English - Date: 2009-01-27 22:59:45 Coen brothers Red Digital Cinema Camera Company Horror film Look 3D film Film Digital cinema Digital media
170	¯ µ-terms Explanation in Natural Language of λµ ˜ Claudio Sacerdoti Coen? ´ Project PCRI, CNRS, Ecole Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2005-12-12 05:17:05 Mathematical logic Lambda calculus Natural deduction Curry–Howard correspondence Cut-elimination theorem Sequent calculus Sequent Theorem Calculus Proof theory Logic Mathematics

UPDATE