Chai Wong menu forslag Menu1 Hjemmelaved sprøde rejechips med ris chips og luftig tomat dip Tuntatar med wasabi og soya & avocado Rød kokos karry med broccoli peberfrugter blomkål & jasmin ris Bagt banankage med salte

Source URL: chaiwong.dk

Mandy Musiol, Torsten Schlegel, Jennifer  Karg, Jasmin Rahman, Mareike Dotzauer Inhalt 1. Was ist Project Compass? 2. Warum Project Compass? 

Source URL: dini.de

the new ½ job The winner of the Part Time Job Award 2010 inter view Jasmin Röhse photos Katja Hentschel

Source URL: www.augustin-teboul.com

Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu

Source URL: www21.in.tum.de

• Recursion
• Theoretical computer science
• Category theory
• Functional programming
• Higher-order functions
• Corecursion
• Fold
• Coinduction
• Map
• Software engineering
• Computer programming
• Declarative programming

Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models Jasmin Christian Blanchette1? and Koen Claessen2 2 1 Institut für Informatik, Technische Universität München, Germany

Source URL: www21.in.tum.de

• Mathematical proofs
• Inductive reasoning
• Mathematical induction
• Graph theory
• Structural induction
• Constructible universe
• First-order logic
• Automated theorem proving
• Mathematics
• Logic
• Mathematical logic

FACSAn Open System Operational Semantics for an Object-Oriented and Component-Based Language Jasmin Christian Blanchette and Olaf Owe

Source URL: www21.in.tum.de

• Logic in computer science
• Programming language semantics
• Actor model
• Concurrent computing
• Symbol
• Binding
• Operational semantics
• Objective-C
• Computing
• Software engineering
• Computer programming

Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette

Source URL: www21.in.tum.de

• Model theory
• Computability theory
• Functions and mappings
• Models of computation
• Lambda calculus
• Theoretical computer science
• Primitive recursive function
• Interpretation
• Function
• Mathematical logic
• Mathematics
• Logic

Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2

Source URL: www21.in.tum.de

• Cardinal numbers
• Set theory
• Ordinal arithmetic
• Transfinite induction
• Constructible universe
• Forcing
• Aleph number
• Successor cardinal
• Normal function
• Mathematical logic
• Mathematics
• Ordinal numbers

Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod (System Description)∗ Jasmin Christian Blanchette Technische Universität München Garching, Germany

Source URL: www21.in.tum.de

• Mathematical logic
• Model theory
• Formal languages
• Formal methods
• Logical syntax
• Structure
• Isabelle
• Logic programming
• Automated theorem proving
• Mathematics
• Logic
• Metalogic

J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka ·

Source URL: www21.in.tum.de

• Automated theorem proving
• Proof theory
• Mathematical proofs
• Logical syntax
• First-order logic
• Proof assistant
• Theorem
• Isabelle
• Natural deduction
• Logic
• Mathematics
• Mathematical logic