Logic

Results: 27485



#Item
41MLP on Thursday, July 19th  https://easychair.org/smart-program/FLoC2018... FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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
42Overview Hoare Logic Separation Logic Entailment Exercise

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
43Towards a Program Logic for JavaScript Philippa Gardner Sergio Maffeis  Gareth Smith

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

    ¨ ¨ fur Diplomarbeitsprasentationen der Fakultat ¨ Informatik

    Add to Reading List

    Source URL: www.logic.at

    Language: English - Date: 2011-03-23 04:19:42
    45Understanding 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

    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
    46Ocelot  Rela%onal Logic in a Solver-Aided Language James Bornholt Emina Torlak

    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
    47AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA  About me

    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
    48Noname manuscript No. (will be inserted by the editor) Chemical Reaction Network Designs for Asynchronous Logic Circuits Luca Cardelli ⋅ Marta Kwiatkowska ⋅ Max Whitby

    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
    49What is the Point of an SMT-LIB Problem?  ∗ Giles Reger and Martin Riener University of Manchester, Manchester, UK

    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
    50A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1  TU Wien, Vienna, Austria

    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