System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal

Source URL: www.logic.at

• Mathematical logic
• Metalogic
• Logic
• Proof theory
• X0
• First-order logic
• Leitsch
• Sequent calculus

Producing Skolem Expansion Trees with the CERESω method: A Case Study Martin Riener, joint work with Alexander Leitsch

Source URL: www.logic.at

• Mathematical logic
• Logic
• Mathematics
• Model theory
• Proof theory
• Quantification
• Predicate logic
• Thoralf Skolem
• Skolem normal form
• Soundness
• Quantifier
• Sequent calculus

HAPG mosaic crystals and their application in high resolution X-ray spectroscopy Martin Gerlach1, Lars Anklamm2, Alexander Antonov3, Burkhard Beckhoff1, Inna Grigorieva3, Ina Holfelder1, Herbert Legall2, Wolfgang Malzer2

Source URL: www.dxcicdd.com

HAPPY HOLIDAYS TO ALL SANGHA MEMBERS & THEIR FAMILIES! We’ll be meeting on Sunday, January 10, 2016 at 10:00 a.m. at the Sangha Center, 4010 Martin Luther King, which is south of Craig Blvd and north of Alexander. Our

Source URL: www.lasvegasbuddhist.org

Suhrkamp Verlag Leseprobe Wrana, Daniel / Ziem, Alexander / Reisigl, Martin DiskursNetz Wörterbuch der interdisziplinären Diskursforschung

Source URL: www.suhrkamp.de

DECEMBER SERVICE: The service will be held on Sunday, December 13, 2015 at 10:00 a.m. at the Sangha Center 4110 N. Martin Luther King Blvd, north of Cheyenne, south of Craig nearest Alexander & MLK. Our visiting minister

Source URL: www.lasvegasbuddhist.org

Improved Approximation Algorithms for Box Contact Representations? Michael A. Bekos1 , Thomas C. van Dijk2 , Martin Fink2 , Philipp Kindermann2?? , Stephen Kobourov3 , Sergey Pupyrev3 , Joachim Spoerhase2 , and Alexander

Source URL: www.cs.arizona.edu

Towards a Privacy-Preserving Hybrid Radio Network: Design and Open Challenges Mirco Sch¨onfeld, Martin Werner, Claudia Linnhoff-Popien Alexander Erk

Source URL: publications.mircoschoenfeld.de

Ein Workflow zur Prozessierung einer europaweiten Schummerung für WMS basierend auf SRTM Daten - das Beispiel www.osm-wms.de Michael Auer, Magnus Fees , Steffen Neubauer, Martin Over & Alexander Zipf Lehrstuhl Kartograp

Source URL: koenigstuhl.geog.uni-heidelberg.de

S2RDF: RDF Querying with SPARQL on Spark Alexander Schätzle University of Freiburg, Germany Martin

Source URL: arxiv.org