University of Vienna - PDFSEARCH.IO - Document Search Engine

University of Vienna
Results: 1461

#	Item
1	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle
2	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Proof theory Logic in computer science Formal methods Automated reasoning Proof assistant Proof complexity Reasoning system Isabelle
3	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 Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-04-14 05:43:30 Mathematical logic Proof theory Logic Mathematics Natural deduction Sequent calculus Sequent First-order logic Admissible rule Conjunctive normal form Quantifier Cut-elimination theorem
4	The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2017-08-06 02:05:36 Mathematical logic Mathematics Theoretical computer science Automated theorem proving Logic in computer science Methods of proof Boolean algebra Mathematical proofs Proof complexity Boolean satisfiability problem
5	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). Add to Reading List Source URL: pdg.lbl.gov Language: English - Date: 2018-06-05 23:26:58
6	Poster for SAT/SMT Summer SchoolModeling High School Timetabling (HSTT) as maxSAT/SMT Vienna University of Technology Institute of Information Systems Database and Artificial Intelligence Group Add to Reading List Source URL: satsmt2014.forsyte.at Language: English - Date: 2014-08-19 06:22:39
7	International Young Physicists’ Tournament IYPT Georg Hofferek Association AYPT-Forschungsforum junger Physiker p.A. University of Vienna, Faculty of Physics, Physics Add to Reading List Source URL: iypt.org Language: English - Date: 2018-02-16 18:55:32
8	Failure Modes of Tearing and a Novel Robust Approach Ali Baharev Arnold Neumaier Hermann Schichl Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1, 1090 Vienna, Austria Add to Reading List Source URL: reliablecomputing.eu Language: English - Date: 2017-08-25 09:01:41
9	JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188, Add to Reading List Source URL: www.jccs-a.at Language: English
10	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55