F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
131	Proving Safety Properties of Rewrite Theories Camilo Rocha Jos´e Meseguer Department of Computer Science Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:32:16 Software engineering Functional languages Mathematical proof F-coalgebra ATS Computing Mathematics Mathematical logic Automated theorem proving
132	A TYPOLOGY OF SPECIFICITY Donka F. Farkas and Adrian Brasoveanu University of California, Santa Cruz Abstract The paper casts a look back at the role specificity has played in DP semantics in the last thirty years and th Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Quantification Mathematical logic Syntactic categories Grammar Determiner Discourse representation theory Generalized quantifier Existential quantification Variable Linguistics Logic Semantics
133	Partial Evaluation in Prolog: Some Improvements about Cuts and Control M. Bugliesi F. Russo Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:17:54 Logic Functions and mappings Automated theorem proving Resolution Prolog Function Constraint logic programming Mathematics Mathematical logic Rules of inference
134	Weak βη-Normalization and Normalization by Evaluation for System F Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-09-11 16:49:25 Lambda calculus Logic in computer science Combinatory logic Valuation Normalisation by evaluation Sheaf Natural deduction Limit set Abstract algebra Mathematics Theoretical computer science
135	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
136	Three-Valued Logics Notation: p, q, r atomic formulas; A, B, C arbitrary formulas Values = {T, F, N} Valuation = assignment of a value from Values to each atomic formula Can be extended to an assignment of values to each Add to Reading List Source URL: johnmacfarlane.net Language: English Propositional calculus Semantics Boolean algebra Logical connective Truth table Valuation If and only if Tautology Natural deduction Abstract algebra Logic Mathematics
137	A Simple Linear Algorithm for Computing Rectangular 3-Centers Michael Homann Institut fur Theoretische Informatik ETH Zurich Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2003-06-20 16:01:37 Mathematical logic Theoretical computer science Numerical linear algebra Mathematics Algorithm
138	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics
139	Church’s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011 Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Computability theory Theory of computation Lambda calculus Mathematical logic Church–Turing thesis Entscheidungsproblem Halting problem System F Computability Mathematics Theoretical computer science Computer science
140	Specicity and Scope Donka F. Farkas, UCSC 1. Introduction1 The notion of specicity has played a signicant role in linguistic theory both in the elds of semantics and, increasingly, in work on syntax/semantics interf Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Logic METAR Modal logic Language Existence Noun Determiner Grammar Parts of speech Linguistics

UPDATE