X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
510 - consideracions fonamentals i generals de les matemàtiques (23) 23
mathematics (10) 10
51 - matemàtiques (6) 6
logic (6) 6
lògica matemàtica (6) 6
mathematical logic (5) 5
analysis (4) 4
categories (3) 3
computer science (3) 3
computer science, theory & methods (3) 3
conjunts, teoria de (3) 3
demostració, teoria de la (3) 3
forcing (3) 3
mathematical theorems (3) 3
mathematics, applied (3) 3
models, teoria dels (3) 3
proof theory (3) 3
theoretical computer science (3) 3
1206. anàlisi numèric - 1201. àlgebra (2) 2
517 - anàlisi (2) 2
algebra (2) 2
cardinality (2) 2
categoricity (2) 2
category theory (2) 2
ciències experimentals (2) 2
complexitat computacional (2) 2
complexity (2) 2
computational complexity (2) 2
equivalence relation (2) 2
fuzzy sets (2) 2
interpolation (2) 2
isomorphisms (2) 2
logical theorems (2) 2
mathematical analysis (2) 2
mathematical functions (2) 2
mathematical set theory (2) 2
mathematics - category theory (2) 2
mathematics - logic (2) 2
model theory (2) 2
polynomials (2) 2
proof complexity (2) 2
proofs (2) 2
resolution (2) 2
set theory (2) 2
systems (2) 2
tests, problems and exercises (2) 2
03b70 (1) 1
03c25 (1) 1
03c35 (1) 1
03c45 (1) 1
03c48 (1) 1
03c52 (1) 1
03c55 (1) 1
03e35 (1) 1
03e40 (1) 1
03e45 (1) 1
03f20 (1) 1
03h15 (1) 1
111 mathematics (1) 1
1203. ciència dels ordinadors (1) 1
1203. ciència dels ordinadors - 1206. anàlisi numèric - 1208. probabilitat - 1205. teoria dels nombr (1) 1
1209. estadística (1) 1
311 - estadística (1) 1
511 - teoria dels nombres (1) 1
631 - agricultura. agronomia. maquinària agrícola. sòls. edafologia agrícola (1) 1
[ info.info-dm ] computer science [cs]/discrete mathematics [cs.dm] (1) 1
[info.info-dm]computer science [cs]/discrete mathematics [cs.dm] (1) 1
absoluteness (1) 1
abstract elementary classes (1) 1
algebra and number theory (1) 1
algebra, boolean (1) 1
analytic equivalence-relations (1) 1
anàlisi matemàtica (1) 1
archives (1) 1
arithmetic (1) 1
automated deduction (1) 1
automatizability (1) 1
axioms (1) 1
birkhoff interpolation (1) 1
boolean algebras (1) 1
bounded arithmetic (1) 1
ciències de la computació i intel·ligència artificial (1) 1
ciències de la computació i intel•ligència artificial (1) 1
classificació de sóls (1) 1
classification theory (1) 1
college mathematics (1) 1
complexity gap (1) 1
computational theory and mathematics (1) 1
computer and information sciences (1) 1
computer science - computational geometry (1) 1
computer science applications (1) 1
computer sciences (1) 1
computer simulation (1) 1
consistency (1) 1
criptografia (1) 1
criptografia distribuïda (1) 1
criteria (1) 1
cut elimination theorem (1) 1
data- och informationsvetenskap (1) 1
datavetenskap (1) 1
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Theoretical Computer Science, ISSN 0304-3975, 2008, Volume 409, Issue 1, pp. 94 - 109
Journal Article
The Journal of Symbolic Logic, ISSN 0022-4812, 3/2012, Volume 77, Issue 1, pp. 122 - 132
Journal Article
07/2012
Memoirs of the American Mathematical Society. Year 2014: Volume 230, Number 1081 Descriptive set theory is mainly concerned with studying subsets of the space... 
Mathematics - Logic
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 10/2012, Volume 163, Issue 10, pp. 1360 - 1366
The Inner Model Hypothesis (IMH) is a new axiomatic approach in set theory formulated by Sy-D. Friedman. The purpose of this paper is to illustrate the... 
Inner models | Forcing | Foundation of set theory | New axioms | Independence results | Consistency | MATHEMATICS | MATHEMATICS, APPLIED | LOGIC
Journal Article
Journal of Pure and Applied Algebra, ISSN 0022-4049, 2011, Volume 215, Issue 6, pp. 1174 - 1197
We extend the basic concepts of Street’s formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the... 
MATHEMATICS | MATHEMATICS, APPLIED | WELLFOUNDED TREES
Journal Article
Information and Computation, ISSN 0890-5401, 2011, Volume 209, Issue 4, pp. 664 - 691
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is... 
Proof complexity | Frege proof system | Feasible interpolation | Automatizability | Mean-payoff games | Resolution | PARITY GAMES | INTERPOLATION | MATHEMATICS, APPLIED | LOWER BOUNDS | SYSTEMS | COMPUTER SCIENCE, THEORY & METHODS
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 2011, Volume 412, Issue 29, pp. 3589 - 3597
Higher order Delaunay triangulations are a generalization of the Delaunay triangulation that provides a class of well-shaped triangulations, over which extra... 
Higher order Delaunay triangulations | Random geometric graphs | Triangulations | COMPUTER SCIENCE, THEORY & METHODS | GABRIEL | GRAPHS | Triangulation | Computer simulation | Upper bounds | Mathematical analysis | Triangles | Delaunay triangulation | Mathematical models | Criteria | Computer Science | Discrete Mathematics
Journal Article
The Journal of Symbolic Logic, ISSN 0022-4812, 12/2011, Volume 76, Issue 4, pp. 1381 - 1402
We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example,... 
Equivalence relation | Determinism | Turing machines | Mathematical theorems | Cardinality | Mathematical logic | Polynomials | Mathematical functions | Computational complexity | Boolean algebras | MATHEMATICS | NORMAL FORMS | SYSTEMS | EQUIVALENCE-RELATIONS | INVARIANTS | Usage | Isomorphisms (Mathematics) | Analysis | Proof theory | Algebra, Boolean | Tests, problems and exercises
Journal Article
The Journal of Symbolic Logic, ISSN 0022-4812, 6/2012, Volume 77, Issue 2, pp. 656 - 668
We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established... 
Integers | Sequents | Logical theorems | Inference | Mathematical logic | Mathematical functions | Polynomials | Proof theory | Cut elimination theorem | Predicate logic | MATHEMATICS | PROOFS | LOGIC | COMPLEXITY | Functional equations | Axioms | Analysis | Functions | Symbolic and mathematical logic | Tests, problems and exercises
Journal Article
Notre Dame Journal of Formal Logic, ISSN 0029-4527, 2011, Volume 52, Issue 4, pp. 395 - 402
Shelah has shown that N-1-categoricity for Abstract Elementary Classes (AECs) is not absolute in the following sense: There is an example K of an AEC (which is... 
Absoluteness | Abstract elementary classes | Categoricity | Forcing | MATHEMATICS | forcing | abstract elementary classes | categoricity | absoluteness | PHILOSOPHY | 03C52 | 03E35 | 03C35
Journal Article
The Journal of Symbolic Logic, ISSN 0022-4812, 9/2011, Volume 76, Issue 3, pp. 987 - 1004
Journal Article
Fuzzy Inductive Reasoning (FIR) is a modelling and simulation methodology capable of generating a qualitative input-output model of a system from real-valued... 
1203. Ciència dels ordinadors | FIR | 510 - Consideracions fonamentals i generals de les matemàtiques
Dissertation
This work consists of two parts, both related with regression analysis for interval censored data. Interval censored data x have the property that their value... 
1209. Estadística | 311 - Estadística | regression analysis | 51 - Matemàtiques | interval-censoroed data | residual analysis | 510 - Consideracions fonamentals i generals de les matemàtiques
Dissertation
La resolución de problemas de matemáticas en los sistemas educativos es el campo de trabajo de la tesis, esta consta de estudios teóricos y empíricos sobre los... 
E.U. de Magisteri "Ausias March" | 510 - Consideracions fonamentals i generals de les matemàtiques
Dissertation
En aquesta tesi s'estudien dos models de dinàmica de poblacions estructurades que, tot i tenir naturalesa molt diferent, tots dos fan referència a cicles... 
Temps de lisi | Dinàmica adaptativa | Ciències Experimentals | Dinàmica de poblacions | 510 - Consideracions fonamentals i generals de les matemàtiques
Dissertation
Alguns problemes clàssics sobre teoria analítica de polinomis estan relacionats amb un problema més general: determinar com estan ordenades les arrels reals... 
ordenació de zeros | teorema de Rolle | 1206. Anàlisi numèric - 1201. Àlgebra | 51 - Matemàtiques | zeros reals en polinomis | 510 - Consideracions fonamentals i generals de les matemàtiques | 517 - Anàlisi
Dissertation
El objetivo de esta tesis es desarrollar la interpolación de Birkhoff mediante polinomios lacunarios.En la interpolación algebraica de Birkhoff se determina un... 
interpolation | polinomios lacunarios | lacunary polynomials | 1206. Anàlisi numèric - 1201. Àlgebra | interpolación de Birkhoff | interpolación | 510 - Consideracions fonamentals i generals de les matemàtiques | 517 - Anàlisi | Birkhoff interpolation
Dissertation
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.