Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford

Source URL: developer.logicblox.com

• Logic
• Abstraction
• Mathematics
• Model theory
• Mathematical logic
• Craig interpolation
• First-order logic
• Conjunctive query
• Beth definability
• Substitution
• Interpretation
• Structure

Michael Sylvester Keane* (), 307 Lakeridge Dr, San Antonio, TXTopological Conjugacy of Constant Length Substitution Dynamical Systems. Primitive constant length substitutions

Source URL: jointmathematicsmeetings.org

SUMMARY OF BASIC TERMS* Thank you for your interest in a deposit account denominated in a foreign currency. We realize these accounts are not common so here are some important things you should keep in mind. ACCOUNTS

Source URL: www.everbank.com

• Foreign exchange market
• Currency
• EverBank
• Exchange rate
• Renminbi
• Eurocurrency
• Euro
• Currency substitution

A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo

Source URL: plg.uwaterloo.ca

• Theoretical computer science
• Mathematical logic
• Logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Type theory
• Lambda calculus
• Substitution
• Symbol
• Directed acyclic graph
• Unification

SWAP: Parallelization through Algorithm Substitution HENGJIE LI, WENTING HE, YANG CHEN SKL Computer Architecture, ICT, CAS Gradudate School, CAS, China {lihengjie,hewenting,chenyang}@ict.ac.cn

Source URL: pages.saclay.inria.fr

Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540

Source URL: www.cs.princeton.edu

• Model theory
• Formal languages
• Mathematical logic
• Structure
• Universal algebra
• Interpretation
• Relational algebra
• Substitution

PROGRAM SUBSTITUTION REQUEST Date: Name: Phone:

Source URL: www.depts.ttu.edu

CMCS 312: Programming Languages Lecture 3: Lambda Calculus (Syntax, Substitution, Beta Reduction) Acar & Ahmed 17 January 2008

Source URL: ttic.uchicago.edu

LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address:

Source URL: www.ccs.neu.edu

• Logic
• Mathematical logic
• Abstraction
• Predicate logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Constructible universe
• Quantifier
• First-order logic

Automating Leibniz’s Theory of Concepts Automating Leibniz’s Theory of Concepts∗ Jesse Alama Vienna University of Technology

Source URL: mally.stanford.edu

• Logic
• Philosophy
• Mathematics
• Category theory
• Model theory
• Functions and mappings
• Universal property
• Saul Kripke
• First-order logic
• Sheaf
• Function
• Substitution