Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of

Source URL: www.jens-otten.de

Security Protocol Verification: Symbolic and Computational Models

Source URL: prosecco.gforge.inria.fr

212C: Symbolic Interactionism and Post-Structural Social Theory M 9:00-12:00 Laurel Heights Prof. Catherine Bliss Office: SBS 455

Source URL: www.catherinebliss.com

Reducing to Symbolic Integer Reasoning Deciding Symbolic Product Inequalities Experiments

Source URL: www.gilith.com

ABSTRACT ANALYSIS OF SYMBOLIC EXECUTIONS Aws Albarghouthi (Univ. of Toronto) Arie Gurfinkel (SEI, CMU) Ou Wei (Nanjing Univ. of Aeronautics and Astronautics) Marsha Chechik (Univ. of Toronto)

Source URL: www.cs.utoronto.ca

SILENCE! What you listen to is who you are Katrine Wallevik (University of Copenhagen, Dept. of Arts and Cultural Studies) This three-year PhD project is an anthropological investigation of music selection processes rel

Source URL: ramund.ikk.ku.dk

• Academia
• Culture
• Philosophy
• Continental philosophers
• Discourse analysis
• Pierre Bourdieu
• Symbolic anthropology
• Cultural studies
• Ernesto Laclau
• Anthropology
• Postmodernism

Efficient Symbolic Execution for Software Testing Johannes Kinder Royal Holloway, University of London Joint work with: Stefan Bucur, George Candea, Volodymyr Kuznetsov @ EPFL

Source URL: www.cs.rhul.ac.uk

List of Publications Joe Leslie-Hurd January 19, 2016 Refereed Conference Papers 1. Jesse Bingham and Joe Leslie-Hurd. Verifying relative error bounds using symbolic simulation. In Armin Biere and Roderick Bloem, editors

Source URL: www.gilith.com

A simple approach towards recapturing consistent theories in paraconsistent settings Jc Beall entailments.net Final Draft Forthcoming in Review of Symbolic Logic. Not final draft!!

Source URL: homepages.uconn.edu

Bright N-Soliton Solutions to the Vector Hirota Equation from Nonlinear Optics with Symbolic Computation Tao Xua,b , Bo Tiana,b,c , and Feng-Hua Qia,b a b c

Source URL: www.znaturforsch.com