Substitution - PDFSEARCH.IO - Document Search Engine

Substitution
Results: 2868

#	Item
101	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic
102	PDF Document Add to Reading List Source URL: spikesmusic.spike-jamie.com Language: English - Date: 2003-11-01 00:42:32 Music Chord progressions Elements of music Chord substitution Seventh chords
103	From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 05:00:45 Logic Mathematics Abstraction Mathematical logic Mathematical notation Predicate logic Elementary mathematics Metalogic Substitution Term Lambda calculus Structure
104	Chapter 2 Untyped Lambda Calculus We assume the existence of a denumerable set VAR of (object) variables x0 , x1 , x2 , . . ., and use x, y, z to range over these variables. Given two variables x1 and x2 , we write x1 = Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:51:51 Theoretical computer science Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Lambda calculus Term Relationships among probability distributions Centripetal CatmullRom spline
105	25 Documenta Math. Automorphism Groups of Shimura Varieties Haruzo Hida Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-05-07 15:58:51 Mathematics Algebra Abstract algebra Lie groups Homomorphism Morphisms Structure Hermitian symmetric space Splitting of prime ideals in Galois extensions Substitution Sigma-algebra
106	Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:05 Logic Model theory Mathematics Mathematical logic Conjunctive query Structure First-order logic Substitution Relational algebra FO Interpretation Satisfiability
107	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
108	Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Mathematics Logic Functions and mappings Mathematical logic Logic programming Automated theorem proving Append Functional programming Lisp Unfolding Substitution Atomic formula
109	Microsoft Word - ibD-dollardoc Add to Reading List Source URL: www.econoclast.com Language: English - Date: 2016-02-06 12:06:12 Economy Currency Foreign exchange market International trade Monetary policy Monetary hegemony Currency substitution Fixed exchange-rate system Dollar Exchange rate Australian dollar Euro
110	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system