Sequent Computer Systems - PDFSEARCH.IO - Document Search Engine

Sequent Computer Systems
Results: 4

#	Item
1	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics
2	Differential Dynamic Logic for Verifying Parametric Hybrid Systems Andr´e Platzer1,2 1 University 2 Carnegie Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:58 Proof theory Differential equations Logic in computer science Control theory Hybrid system Sequent Mathematical logic Dynamic logic Mathematics Science Logic
3	EN Case No COMP/M.1643 IBM / SEQUENT Only the English text is available and authentic. Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2008-12-04 08:47:59 Server hardware Beaverton Oregon Sequent Computer Systems Compaq European Economic Area Sequent Server Advanced Micro Devices Hewlett-Packard Computing Computer hardware Technology
4	ON THE PROOF COMPLEXITY OF DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI ABSTRACT. We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2009-04-19 15:07:07 Mathematics Propositional calculus Automated theorem proving Logic in computer science Frege system Cut-elimination theorem Analytic proof Sequent calculus Substitution Logic Mathematical logic Proof theory

UPDATE