Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Proof theory
• Logic
• Mathematics
• Natural deduction
• Sequent calculus
• Sequent
• First-order logic
• Admissible rule
• Conjunctive normal form
• Quantifier
• Cut-elimination theorem

Forth DayFLOS Stefan Mauerhofer Switzerland

Source URL: www.forth.org

• Software engineering
• Computing
• Computer programming
• Programming languages
• Namespace
• C
• Forth
• Struct
• C Sharp
• Identifier

A Fistful of Bitcoins: Characterizing Payments Among Men with No Names Sarah Meiklejohn Marjori Pomarole Grant Jordan † Kirill Levchenko Damon McCoy Geoffrey M. Voelker Stefan Savage University of California, San Diego

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Economy
• Money
• Financial technology
• Alternative currencies
• Digital currencies
• Blockchains
• Mt. Gox
• Satoshi Nakamoto
• Blockchain.info
• BitPay

Protocol Integration and Implementation Problems Bringing PQC into practice Stefan-Lukas Gazdag

Source URL: nis-summer-school.enisa.europa.eu

• Cryptographic protocols
• Computing
• Network architecture
• Communication protocol
• Data transmission
• Internet Key Exchange
• Protocol

15. Quark modelQuark Model Revised August 2017 by C. Amsler (Stefan Meyer Institute for Subatomic Physics, Vienna), T. DeGrand (University of Colorado, Boulder), and B. Krusche (University of Basel).

Source URL: pdg.lbl.gov

Reference Guide Reference Guide: Open Build Service by Adrian Schröter, Frank Schreiner, Karsten Keil, and Stefan Knorr Publication Date:

Source URL: openbuildservice.org

Automated Software Testing as a Service George Candea, Stefan Bucur, Cristian Zamfir School of Computer and Communication Sciences École Polytechnique Fédérale de Lausanne (EPFL), Switzerland ABSTRACT

Source URL: dslab.epfl.ch

Peregrine: A Tool for the Analysis of Population Protocols ? Michael Blondin[0000−0003−2914−2734] , Javier Esparza[0000−0001−9862−4919] , and Stefan Jaax[0000−0001−5789−8091] Technische Universit¨ at M

Source URL: www7.in.tum.de

Stefan GERLINGER, Römische Schlachtenrhetorik. Unglaubwürdige Elemente in Schlachtendarstellungen, speziell bei Caesar, Sallust und Tacitus. Heidelberg: Universitätsverlag Winter 2008, 452 S. „Gegenwärtig feiern a

Source URL: gfa.gbv.de

Rechtswissenschaftliche Dissertationen WintersemesterHans Stefan Kettler

Source URL: www.jura.uni-osnabrueck.de