A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local

Source URL: flint.cs.yale.edu

• Model theory
• Logic in computer science
• Separation logic
• Substructural logic
• Structure
• Elementary class
• Substitution

Substitution shifts generated by p-adic integer sequences Eric Rowland∗ University of Liege, Belgium Reem Yassawi Trent University, Peterborough, Canada

Source URL: thales.math.uqam.ca

Multiple sequence alignment using anchor points through generalized dynamic programming J. Gracy J. Sallantin

Source URL: www.jsbi.org

• Computational phylogenetics
• Bioinformatics
• Biology
• Applied mathematics
• Multiple sequence alignment
• Sequence alignment
• NeedlemanWunsch algorithm
• SmithWaterman algorithm
• Phylo
• Substitution matrix
• Dynamic programming
• Similarity measure

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

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO
• Constructible universe
• Normal distribution

POWER OF ATTORNEY/SUBSTITUTION (P/A)

Source URL: www.avalonrisk.com

Neural substrates of visual masking by object substitution in schizophrenia

Source URL: greenlab.npih.ucla.edu

The Capacity of String-Replication Systems Farzad Farnoud (Hassanzadeh) Moshe Schwartz Jehoshua Bruck

Source URL: paradise.caltech.edu

• Mathematics
• Mathematical analysis
• Integer sequences
• Probability theory
• Automated theorem proving
• Logic programming
• Logical truth
• Substitution
• Automatic sequence

Microsoft Word - Course_substitution_approval_request_form.docx

Source URL: art.appstate.edu

Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Combinatory logic
• Pure type system
• Lambda cube
• Fixed-point combinator
• Calculus of constructions
• Explicit substitution
• Natural deduction

Equideductive Logic and CCCs with Subspaces Paul Taylor Advances in Constructive Topology and Logical Foundations

Source URL: www.paultaylor.eu

• General topology
• Symbol
• Locally compact space
• Topological space
• Substitution
• Duality
• Generalised Whitehead product