Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
1	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 Logic Mathematical logic Theoretical computer science Natural language processing Formal methods Computability theory Artificial intelligence Decidability First-order logic Natural language understanding Natural language user interface Entityrelationship model
2	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 Computer programming Software engineering Computing Theoretical computer science Programming idioms Algorithms Computability theory Mathematical logic Recursion Programming paradigm Subroutine Iteration
3	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 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion
4	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 Mathematical logic Logic Computability theory Theory of computation Proof theory Hierarchy Lambda calculus Theoretical computer science Consistency Propositional calculus Calculus Arithmetical hierarchy
5	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 Theoretical computer science Mathematical logic Computer science Logic in computer science Lambda calculus Models of computation Proof theory Computability theory Simply typed lambda calculus Natural deduction CurryHoward correspondence
6	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
7	6 base types types patterns matching clause seq. constants Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:53:23 Logic Computability theory Mathematical logic Theoretical computer science Symbol Substitution Lambda calculus Natural deduction
8	The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-08-18 20:05:39 Software engineering Programming language theory Computer programming Logic in computer science Formal languages Procedural programming languages Subroutines Computability theory Rewriting Recursion Whiley ALGOL 68
9	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system
10	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering