First - PDFSEARCH.IO - Document Search Engine

First
Results: 198191

#	Item
31	Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-03-05 21:15:02
32	Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:49:46 Mathematics Mathematical logic Logic Model theory Logic in computer science Semantics Universal algebra Boolean satisfiability problem Interpretation First-order logic Resolution Clause
33	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle
34	Subject: Attending Vena Users’ Conference in May Hello [First Name], I’m writing to ask for approval to attend VenaNOLA, the user conference for Vena Solutions, our financial spreadsheet software vendor. The confere Add to Reading List Source URL: venausersconference.com Language: English - Date: 2017-05-23 08:33:27 Vena Xx
35	DynamoGraph: A Distributed System for Large-scale, Temporal Graph Processing, its Implementation and First Observations Matthias Steinbauer Gabriele Anderst-Kotsis Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:56:15 Graph theory NP-complete problems Crowdsourcing PageRank Search engine optimization Graph Line graph Planar separator theorem
36	Robin Milner, undated, probably April/Mayappears to be changes relative to the first (TENTATIVE) draft of the Proposal for SML) Add to Reading List Source URL: sml-family.org - Date: 2016-04-04 09:33:37
37	From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:18 Temporal logic Formal languages Logic Metalogic Mathematical logic Linear temporal logic Mathematics Model theory Symbol Computation tree logic Interpretation Well-formed formula
38	Partial Aborts for Transactions via First-Class Continuations Matthew Le Matthew Fluet Rochester Institute of Technology, USA Add to Reading List Source URL: manticore.cs.uchicago.edu Language: English - Date: 2017-07-17 11:35:05
39	Vanishing of the first reduced cohomology with values in an Lp-representation. Romain Tessera March 7, 2008 Abstract We prove that the first reduced cohomology with values in a mixing Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2008-03-07 14:18:38 Geometry Algebra Abstract algebra Geometric group theory Cohomology theories Metric geometry Topological groups -hyperbolic space Cohomology Sheaf Quasi-isometry Hyperbolic metric space
40	Global Finance Names The World’s Best Consumer Digital Banks In Asia-Pacific 2018 NEW YORK, August 9, 2018 – Global Finance has announced the First Round winners for the 2018 World’s Best Consumer Digital Banks Awa Add to Reading List Source URL: d2tyltutevw8th.cloudfront.net Language: English - Date: 2018-08-13 09:34:34 Banks Financial services Finance Primary dealers Global Finance Standard Chartered Citigroup DBS Bank Citibank Indonesia