Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
41	MLP on Thursday, July 19th https://easychair.org/smart-program/FLoC2018... FLOC 2018: FEDERATED LOGIC CONFERENCE 2018 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2018-10-21 10:53:01 Artificial neural networks Computational neuroscience Applied mathematics Cybernetics Neuroscience Neural network Deep learning Recurrent neural network
42	Overview Hoare Logic Separation Logic Entailment Exercise Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:15:49 Theoretical computer science Formal methods Mathematical logic Logic Logic in computer science Substructural logic Hoare logic Static program analysis Separation logic Predicate transformer semantics Loop invariant Existential quantification
43	Towards a Program Logic for JavaScript Philippa Gardner Sergio Maffeis Gareth Smith Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-11-09 05:36:37
44	¨ ¨ fur Diplomarbeitsprasentationen der Fakultat ¨ Informatik Add to Reading List Source URL: www.logic.at Language: English - Date: 2011-03-23 04:19:42 Mathematical logic Proof theory Logic Mathematics Cut-elimination theorem Sequent calculus Sequent Cut rule First-order logic Admissible rule Completeness Unification
45	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
46	Ocelot Rela%onal Logic in a Solver-Aided Language James Bornholt Emina Torlak Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Fiction Formal methods Military personnel Alloy Massachusetts Institute of Technology Z notation Revolver Ocelot Ocelot Digital subscriber line
47	AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA About me Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Mathematics Theoretical computer science Formal methods Model theory Conflict-driven clause learning Solver Alloy Metamodeling Meta-Object Facility Embedding First-order logic Mathematical logic
48	Noname manuscript No. (will be inserted by the editor) Chemical Reaction Network Designs for Asynchronous Logic Circuits Luca Cardelli ⋅ Marta Kwiatkowska ⋅ Max Whitby Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-12-05 09:15:26 Digital electronics Electronic engineering Electrical engineering Logic gates Electronics Digital systems Logic in computer science C-element Asynchronous circuit Chemical reaction network theory Flip-flop Sequential logic
49	What is the Point of an SMT-LIB Problem? ∗ Giles Reger and Martin Riener University of Manchester, Manchester, UK Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Theoretical computer science Mathematical logic Mathematics Formal methods Automated theorem proving Logic in computer science School of Computer Science University of Manchester Constraint programming Satisfiability modulo theories Solver Logic programming Resolution
50	A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, Austria Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Mathematical logic Logic Predicate logic Mathematics Model theory Semantics Philosophical logic First-order logic FO Quantifier Constructible universe Interpretation

UPDATE