Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
1	workplace with digital tablet, notebook and coffee cup Add to Reading List Source URL: www.depositprotection.com Language: English FO Finite model theory Latin alphabets English phonology
2	Categorematic Unreducible Polyadic Quantifiers in Lexical Resource Semantics Frank Richter Goethe Universität Frankfurt a.M. HeadLex 2016, Warsaw Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-07-24 19:55:04 Quantification Logic Semantics Abstraction Predicate logic Finite model theory Philosophical logic Quantifier Universal quantification FO
3	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:20 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
4	Integrating Categorematic Unreducible Polyadic Quantifiers in LRS Frank Richter∗ Introduction This paper has two goals: On the technical side, it presents a general integration of polyadic quantification in Lexical Res Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-05-23 07:03:44 Logic Quantification Mathematical logic Semantics Abstraction Predicate logic Model theory Finite model theory Quantifier First-order logic FO Generalized quantifier
5	Model theory of finite and pseudofinite groups Dugald Macpherson∗, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK, Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-27 08:44:51 Mathematics Algebra Group theory Model theory Finite groups Stable group NIP Ultraproduct Stable theory Presentation of a group Representation theory Ree group
6	The complexity of positive first-order logic without equality FLORENT MADELAINE Clermont Universit, Universit d’Auvergne, LIMOS. CNRS, UMR 6158, LIMOS. and Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-01-14 21:47:14 Finite model theory FO IP Symbol Base Mathematics Creativity
7	This is Floodline. Warning for d o lo F Add to Reading List Source URL: www.floodlinescotland.org.uk Language: English - Date: 2015-10-14 07:09:25 Complexity classes Finite model theory FO CK
8	IMAGINARIES AND DEFINABLE TYPES IN ALGEBRAICALLY CLOSED VALUED FIELDS EHUD HRUSHOVSKI This manuscript is largely an exposition of material from [1], [2] and [3], regarding definable types in the model completion of the t Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2014-03-26 03:46:35 Algebra Abstract algebra Mathematics Field theory Algebraic geometry Valuation Sheaf Constructible universe Transcendental number Approximately finite-dimensional C*-algebra Differential forms on a Riemann surface
9	A simple technique to establish sequences of datums and to highlight transgressive-regressive cycles Add to Reading List Source URL: paleopolis.rediris.es Language: English - Date: 2016-02-23 12:34:59 Complexity classes Finite model theory FO SO Biostratigraphy
10	Microsoft Word - PORTS_handout_2016rev022516 Add to Reading List Source URL: www.ports.parks.ca.gov Language: English - Date: 2016-02-29 14:18:09 FO Finite model theory

UPDATE