F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
31	R2RML-F: Towards Sharing and Executing Domain Logic in R2RML Mappings Christophe Debruyne and Declan O’Sullivan ADAPT Centre (http://www.adaptcentre.ie/) Trinity College Dublin (http://www.tcd.ie/) Add to Reading List Source URL: events.linkeddata.org Language: English - Date: 2016-05-03 13:54:02 Semantic Web Resource Description Framework Map Web Ontology Language Parameter
32	The complexity of positive first-order logic without equality∗ Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. fmadelaine@laic.u-cler Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:55:46 Complexity classes Structural complexity theory FO Finite model theory Computational complexity theory IP Homomorphism NP Reduction Symbol P versus NP problem Model theory
33	M ODAL C OMPARISONS : T WO D ILLETANTES IN S EARCH OF AN E XPERT⇤ K AI VON F INTEL AND A NGELIKA K RATZER Massachusetts Institute of Technology and University of Massachusetts at Amherst Abstract We express our puzzlem Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2014-10-22 03:26:10 Comparative Grammar Non-classical logic Philosophical logic Modal logic Comparison Adjective Metalinguistics
34	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Formal methods Logic in computer science Object-oriented programming Postcondition Precondition Class invariant Design by contract Assertion Constructor Class Invariant Loop invariant
35	From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-07-04 02:54:41 Theoretical computer science Formal methods Computability theory Functional languages Logic in computer science Satisfiability modulo theories Factorial ML Recursion Lambda calculus System F
36	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:08:08 Logic in computer science Mathematical logic Theoretical computer science Static program analysis Termination analysis Automated theorem proving Prolog Unification Rewriting Algorithm Recursion ECLiPSe
37	CUBULATING HYPERBOLIC FREE-BY-CYCLIC GROUPS: THE IRREDUCIBLE CASE MARK F. HAGEN AND DANIEL T. WISE Abstract. Let V be a nite graph and let φ : V → V be an irreducible train track map whose mapping torus has word-hype Add to Reading List Source URL: www.wescac.net Language: English - Date: 2015-08-17 19:52:03 Geometric group theory Geometric topology Train track map Free group Universal property Dynamical system Fiber bundle Orbifold Linear temporal logic
38	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
39	ABSTRACT: MIDLANDS LOGIC SEMINAR, BIRMINGHAM, NOVEMBER 8, 2013. TRISTRAM DE PIRO I will give a proof of the Fourier Inversion Theorem for functions f : R → R, belonging to the Schwartz class, (∗), using the methods o Add to Reading List Source URL: midlandslogic.org.uk Language: English - Date: 2013-10-29 19:32:04 Integral transforms Joseph Fourier Mathematical physics Generalized functions Fourier analysis Fourier inversion theorem Fourier Fourier series
40	I N F S Y S R E S E A R C H R Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-03-24 19:54:28 Logic programming Situation calculus Sheaf Computability theory