Jasmin - PDFSEARCH.IO - Document Search Engine

Jasmin
Results: 300

#	Item
221	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Huffman coding Computing Tree B-tree T-tree Adaptive Huffman coding Binary trees Graph theory Mathematics
222	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder? Jasmin Christian Blanchette and Tobias Nipkow Institut für Informatik, Technische Universität München, Germany {blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Mathematics Structure Universal algebra Symbol Constructible universe First-order logic Lambda calculus Mathematical logic Logic Model theory
223	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Logic Constructible universe Ordinal number Functor Mathematical logic Mathematics Proof theory
224	A Survey of Axiom Selection as a Machine Learning Problem Jasmin Christian Blanchette1 and Daniel Kühlwein2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2014-07-10 18:23:49 Mathematical logic Logical syntax Philosophical logic Automated theorem proving Mathematical proof Axiom of choice Theorem First-order logic Conjecture Logic Mathematics Formal systems
225	Experience Report: The Next 1100 Haskell Programmers Jasmin Christian Blanchette Lars Hupel Tobias Nipkow Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Literate programming Functional programming Higher-order functions QuickCheck Theoretical computer science Recursion Dynamic programming List comprehension Haskell Software engineering Computing Computer programming
226	More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-08-15 04:44:13 Theoretical computer science Superposition calculus SPASS Resolution Isabelle Proof assistant Vampire Automated reasoning First-order logic Automated theorem proving Mathematics Mathematical logic
227	Nitpicking C++ Concurrency Jasmin Christian Blanchette Tjark Weber Mark Batty Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-04-16 14:49:31 Logic in computer science Procedural programming languages Programming language semantics Predicate logic Formal methods Formal verification ALGOL 68 Denotational semantics First-order logic Theoretical computer science Computing Software engineering
228	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Constraint programming Satisfiability Modulo Theories Isabelle Proof assistant Automated reasoning E theorem prover Theoretical computer science Applied mathematics Mathematics
229	IBT Sample Questions Science Jasmin counted the animals she found in her garden. She drew a table to show how many animals she found. Add to Reading List Source URL: ibt.acer.edu.au Language: English - Date: 2014-06-12 00:44:42 Spider Basketball Ball Beetle
230	Biomass and CCS Global potential and GHG accounting Jasmin Kemper Project Officer IEA Greenhouse Gas R&D Programme Add to Reading List Source URL: www.ieaghg.org Language: English - Date: 2014-06-09 05:56:19 Biomass Biofuels Energy conversion Carbon dioxide Anaerobic digestion Gasification Renewable energy Cofiring Energy crop Sustainability Environment Technology