Sequent - PDFSEARCH.IO - Document Search Engine

Sequent
Results: 264

#	Item
201	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: mirrors.ircam.fr Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
202	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ftp.jaist.ac.jp Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
203	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: anorien.csc.warwick.ac.uk Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
204	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ftp.eq.uc.pt Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
205	__ __ __ __ / \ / \ (__) \| \| Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:45 A3 ISO 216 Sequent Formula Counties of Croatia ACL2 Lisp programming language
206	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ftp.fernuni-hagen.de Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
207	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: www.math.mun.ca Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
208	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ctan.mackichan.com Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
209	LNCS[removed]A Linear Logic of Authorization and Knowledge Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:08 Deduction Logical consequence Propositional calculus Automated theorem proving Sequent calculus Amenable group Monotonicity of entailment Entailment Linear logic Logic Mathematical logic Proof theory
210	A Linear Logic of Authorization and Knowledge⋆ Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning and Michael K. Reiter Carnegie Mellon University Abstract. We propose a logic for specifying security policies at Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:08 Deduction Logical consequence Propositional calculus Geometric group theory Entailment Monotonicity of entailment Amenable group Sequent calculus Linear logic Logic Mathematical logic Proof theory

UPDATE