First Manchester - PDFSEARCH.IO - Document Search Engine

First Manchester
Results: 234

#	Item
1	Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:09 Formal methods Theoretical computer science Complexity classes Automated theorem proving Vampire NP IP Mathematics Constraint programming Proof compression
2	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
3	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
4	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
5	Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:35 Theoretical computer science Automated theorem proving Mathematics Mathematical logic Formal methods Logic in computer science Resolution Logic programming Clause Vampire Boolean satisfiability problem CARINE
6	Foreigners and Enemies? Aliens and Immigrants in First World War Manchester By Bill Longshaw, 2017 In the run-up to the EU referendum in June 2016 the former Mayor of London, Boris Johnson, was widely criticised for clai Add to Reading List Source URL: www.racearchive.org.uk Language: English - Date: 2017-05-26 06:53:13
7	Manchester’s Military Hospitals During the First World War, Manchester contained between thirty and forty war hospitals including the 2nd Western General Hospital and the Nell Lane Military Hospital for prisoners of wa Add to Reading List Source URL: www.racearchive.org.uk Language: English - Date: 2016-01-07 05:56:18
8	Un racisme méconnu : l’antitsiganisme Leonardo Piasere Abstract A ghostbuster is roaming around Europe: anti-gypsyism. Anti-gypsyism fights against Gypsies, but in order to fight them, it had to invent them first. Ant Add to Reading List Source URL: migrom.humanities.manchester.ac.uk Language: French - Date: 2015-10-27 07:07:24
9	Augusthttp://romani.humanities.manchester.ac.uk/migrom Pilot survey of birth rates and age at first birth among the community of Roma from Add to Reading List Source URL: migrom.humanities.manchester.ac.uk Language: English - Date: 2015-08-26 09:13:02
10	Application for First-Year Admission Tell us about yourself Must be completed by applicant. All sections must be completed to be considered for admission. Please type or print using black Add to Reading List Source URL: www.manchester.edu - Date: 2012-10-05 13:31:06

UPDATE