Tomer - PDFSEARCH.IO - Document Search Engine

Tomer
Results: 112

#	Item
1	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 Add to Reading List Source URL: www.logic.at Language: English - Date: 2012-07-25 07:17:52 Mathematical logic Metalogic Logic Proof theory X0 First-order logic Leitsch Sequent calculus
2	Understanding Resolution Proofs through Herbrand’s Theorem TBILLC 2013 Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia September 28, 2013 Add to Reading List Source URL: www.logic.at Language: English - Date: 2013-10-04 04:37:42
3	System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal Add to Reading List Source URL: www.logic.at Language: English - Date: 2012-07-25 08:00:06 Automated theorem proving Theoretical computer science Mathematical logic Mathematics Proof theory Logic in computer science Prover9 Resolution Proof compression Automated reasoning Natural deduction Mathematical proof
4	Advanced Proof Viewing in P ROOF T OOL Tomer Libal Martin Riener∗ Mikheil Rukhaia† Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-07-19 11:46:07 Proof theory Mathematical logic Logic Mathematics Sequent calculus Sequent Mathematical proof Cut-elimination theorem Formal proof Proof complexity Theorem Metamath
5	Determinism in the Certification of UNSAT Proofs Xaviera Steele Tomer Libal American University of Paris Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Theoretical computer science Software engineering Mathematics Logic in computer science NP-complete problems Electronic design automation Formal methods Boolean algebra Prolog Logic programming Boolean satisfiability problem Sequent calculus
6	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
7	Advanced Proof Viewing in PROOFTOOL UITP 2014 Tomer Libal, Martin Riener, Mikheil Rukhaia July 17, 2014 Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-07-19 11:42:53 Proof theory Mathematical logic Mathematics Logic Sequent Gerhard Gentzen Cut-elimination theorem Thoralf Skolem
8	Breaching the Privacy of Israel’s Paper Ballot Voting System Tomer Ashur1 , Orr Dunkelman2 , and Nimrod Talmon3 arXiv:1608.08020v1 [cs.CR] 29 Aug 2016 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-07-10 17:34:44
9	Coalescing the Vapors of Human Experience into a Viable and Meaningful Comprehension Tomer D. Ullman () Max Siegel () Add to Reading List Source URL: gershmanlab.webfactional.com Language: English - Date: 2016-05-13 12:10:12
10	Spark SQL: Relational Data Processing in Spark Michael Armbrust† , Reynold S. Xin† , Cheng Lian† , Yin Huai† , Davies Liu† , Joseph K. Bradley† , Xiangrui Meng† , Tomer Kaftan‡ , Michael J. Franklin†‡ Add to Reading List Source URL: cs.stanford.edu - Date: 2018-03-20 01:55:57