Computability theory

Results: 1231



#Item
1Speaker: Jason Rute Title: Randomness, Brownian Motion, Riesz Capacity, and Complexity Abstract: Algorithmic randomness is a topic in computability theory which investigates which paths in a stochastic process behave ran

Speaker: Jason Rute Title: Randomness, Brownian Motion, Riesz Capacity, and Complexity Abstract: Algorithmic randomness is a topic in computability theory which investigates which paths in a stochastic process behave ran

Add to Reading List

Source URL: people.clas.ufl.edu

- Date: 2015-02-13 19:35:58
    2In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden  Abstract

    In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract

    Add to Reading List

    Source URL: www2.lingfil.uu.se

    Language: English - Date: 2014-10-16 02:36:17
    3Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3

    Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3

    Add to Reading List

    Source URL: www.openu.ac.il

    Language: English - Date: 2004-09-27 01:19:29
    4A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

    A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

    Add to Reading List

    Source URL: www.di.univaq.it

    Language: English - Date: 2011-02-08 09:50:34
    5Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549

    Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549

    Add to Reading List

    Source URL: satprepget800.com

    Language: English - Date: 2016-06-13 13:02:27
    6Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i

    Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i

    Add to Reading List

    Source URL: mrg.doc.ic.ac.uk

    Language: English - Date: 2016-08-22 17:55:56
    7Powerpoint-presentation Information and Computing Sciences

    Powerpoint-presentation Information and Computing Sciences

    Add to Reading List

    Source URL: usefulpatterns.org

    Language: English - Date: 2015-04-25 08:23:03
    8From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

    From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

    Add to Reading List

    Source URL: www.ccs.neu.edu

    Language: English - Date: 2012-08-23 01:56:39
    9PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT  Advisor: Armando Solar-Lezama

    PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

    Add to Reading List

    Source URL: www.acm.org

    Language: English - Date: 2016-06-08 12:49:34
    10An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard   Contents

    An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard Contents

    Add to Reading List

    Source URL: www.cs.uoregon.edu

    Language: English - Date: 2016-06-30 02:06:10