X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (1436) 1436
Publication (939) 939
Conference Proceeding (238) 238
Paper (86) 86
Book Chapter (35) 35
Dissertation (11) 11
Book / eBook (7) 7
Magazine Article (2) 2
Data Set (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
f-theory (1069) 1069
physics, particles & fields (807) 807
high energy physics - theory (723) 723
physics - high energy physics - theory (511) 511
mathematics (467) 467
computer science (454) 454
high energy physics (454) 454
theory (441) 441
physics (370) 370
quantum physics (321) 321
compactifications (316) 316
classical and quantum gravitation, relativity theory (314) 314
elementary particles, quantum field theory (309) 309
quantum field theories, string theory (307) 307
symplectic geometry (252) 252
algebraic geometry (228) 228
superstring vacua (207) 207
string theory (205) 205
d-branes (190) 190
duality (180) 180
logic in computer science (167) 167
[ info.info-lo ] computer science [cs]/logic in computer science [cs.lo] (162) 162
calabi-yau threefolds (159) 159
phenomenology (158) 158
branes (143) 143
string duality (135) 135
nuclear and high energy physics (134) 134
singularities (125) 125
m-theory (124) 124
high energy physics - phenomenology (119) 119
computer science, theory & methods (113) 113
differential and algebraic geometry (109) 109
strings (109) 109
supergravity (109) 109
vacua (105) 105
physics, multidisciplinary (103) 103
dimensions (101) 101
analysis (100) 100
supersymmetry (100) 100
nuclear and particle physics. atomic energy. radioactivity (99) 99
manifolds (96) 96
symmetry (96) 96
physics, nuclear (95) 95
particle physics (91) 91
instantons (89) 89
[info.info-lo]computer science [cs]/logic in computer science [cs.lo] (86) 86
orientifolds (85) 85
astronomy & astrophysics (83) 83
mathematics - algebraic geometry (78) 78
algorithms (76) 76
flux compactifications (70) 70
superstrings and heterotic strings (70) 70
mirror symmetry (69) 69
[ info.info-ds ] computer science [cs]/data structures and algorithms [cs.ds] (67) 67
mathematics, applied (65) 65
computer science - logic in computer science (64) 64
geometry (64) 64
couplings (60) 60
data structures and algorithms (60) 60
logic (60) 60
differential geometry (59) 59
physics, mathematical (57) 57
dynamics (56) 56
formal languages and automata theory (54) 54
k-theory and homology (53) 53
mathematical analysis (52) 52
mathematical models (52) 52
lattice (50) 50
programming languages (50) 50
acm : f.: theory of computation/f.2: analysis of algorithms and problem complexity (49) 49
general relativity and quantum cosmology (49) 49
m theory (48) 48
supergravity models (46) 46
6 dimensions (45) 45
field-theories (44) 44
acm : f.: theory of computation (43) 43
brane dynamics in gauge theories (43) 43
field theories in higher dimensions (43) 43
flux (43) 43
gages (43) 43
acm : f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems (42) 42
gauge-theories (42) 42
superpotentials (42) 42
supersymmetric gauge theory (42) 42
supersymmetry breaking (42) 42
[ info.info-pl ] computer science [cs]/programming languages [cs.pl] (40) 40
construction (40) 40
gut (40) 40
models (40) 40
[ info.info-fl ] computer science [cs]/formal languages and automata theory [cs.fl] (39) 39
acm : f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs (39) 39
anomalies in field and string theories (39) 39
complexity (39) 39
distributed, parallel, and cluster computing (39) 39
green-schwarz mechanism (39) 39
superstrings (39) 39
topological strings (39) 39
[ info.info-cc ] computer science [cs]/computational complexity [cs.cc] (38) 38
[ info.info-dm ] computer science [cs]/discrete mathematics [cs.dm] (38) 38
algebra (38) 38
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, 01/2016, Volume 611, Issue 50-86, pp. 50 - 86
In this paper, we show how to extend the notion of reducibility introduced by Girard for proving the termination of β-reduction in the polymorphic λ-calculus,... 
Types | Rewriting modulo | Patterns à la Miller | Girard's reducibility | Rewriting | Termination | λ-calculus | Matching modulo βη | Logic in Computer Science | Mathematics | Logic | Computer Science
Journal Article
Information and Computation, ISSN 0890-5401, 08/2015, Volume 243, pp. 205 - 221
We study languages of λ-terms generated by IO and OI unsafe grammars. These languages can be used to model meaning representations in the formal semantics of... 
Simply typed lambda-calculus | Montague semantics | Higher-order grammars | Formal language theory | Membership problem | MATHEMATICS, APPLIED | TREES | COMPLETENESS | COMPUTER SCIENCE, THEORY & METHODS | Logic in Computer Science | Formal Languages and Automata Theory | Computation and Language | Computer Science
Journal Article
LOGICAL METHODS IN COMPUTER SCIENCE, ISSN 1860-5974, 2019, Volume 15, Issue 2
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 2011, Volume 412, Issue 34, pp. 4405 - 4438
In rule-based programming, properties of programs, such as termination, are in general considered in their strong acceptance, i.e., on every computation... 
Narrowing | Abstraction | Induction | Weak termination | Completeness | Rewriting | PROOFS | SUFFICIENT-COMPLETENESS | COMPUTER SCIENCE, THEORY & METHODS | TERMINATION | Trees | Acceptance | Computer simulation | Computation | Proving | Programming | Strategy | Construction costs | Logic in Computer Science | Computer Science
Journal Article
Bioinformatics, ISSN 1367-4803, 2017, Volume 33, Issue 6, pp. 799 - 806
Journal Article
Journal of High Energy Physics, ISSN 1126-6708, 2010, Volume 2010, Issue 7
Journal Article
Classical and Quantum Gravity, ISSN 0264-9381, 09/2016, Volume 33, Issue 19
Journal Article
ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 03/2008, Volume 30, Issue 2, pp. 1 - 32
In the context of statically typed, class-based languages , we investigate classes that can be extended with trait composition. A trait is a collection of... 
Java | inheritance | language design | language semantics | Language semantics | Language design | Inheritance | COMPUTER SCIENCE, SOFTWARE ENGINEERING | languages | CALCULUS | design | MIXIN MODULES | TRAITS | theory | Programming Languages | Logic in Computer Science | Computation and Language | Computer Science
Journal Article
Journal of Formalized Reasoning, ISSN 1972-5787, 2015, Volume 7, Issue 2, pp. 1 - 89
The Abella interactive theorem prover is based on an intuitionistic logic that allows for inductive and co-inductive reasoning over relations. Abella supports... 
Syntax | Logic | Theorem proving | Reasoning | Number theory | Programming languages | Logic in Computer Science | Computer Science
Journal Article
ACM Transactions on Database Systems (TODS), ISSN 0362-5915, 03/2015, Volume 40, Issue 1, pp. 1 - 46
Journal Article
Journal Article
Journal of High Energy Physics, ISSN 1126-6708, 2011, Volume 2011, Issue 3
Journal Article
Journal of High Energy Physics, ISSN 1029-8479, 01/2020, Volume 2020, Issue 1, pp. 1 - 27
We argue that global F-theory compactifications to four dimensions gener- ally exhibit higher rank Yukawa matrices from multiple geometric contributions known... 
Couplings | Hierarchies | Mathematical analysis | Instantons | Supersymmetric Effective Theories | F-Theory
Journal Article
IEEE Transactions on Parallel and Distributed Systems, ISSN 1045-9219, 04/2010, Volume 21, Issue 4, pp. 532 - 546
Journal Article
Journal of High Energy Physics, ISSN 1126-6708, 2011, Volume 2011, Issue 3
Journal Article
Journal of High Energy Physics, ISSN 1029-8479, 11/2019, Volume 2019, Issue 11, pp. 1 - 46
M-theory on a Calabi-Yau threefold admitting a small resolution gives rise to an Abelian vector multiplet and a charged hypermultiplet. We introduce into this... 
M theory | Global Symmetries | Gauge Symmetry | M-Theory | F-Theory
Journal Article
Journal of High Energy Physics, ISSN 1126-6708, 05/2019, Volume 2019, Issue 5, pp. 1 - 29
Non-flat fibrations often appear in F-theory GUT models, and their interpretation is still somewhat mysterious. In this note we explore this issue in a model... 
Superstring Vacua | Brane Dynamics in Gauge Theories | F-Theory | Couplings
Journal Article
NUCLEAR PHYSICS B, ISSN 0550-3213, 12/2015, Volume 901, pp. 59 - 75
Using characters of finite group representations and monociromy of matter curves in F-GUT, we complete partial results in literature by building SO10 models... 
F-THEORY | PHYSICS, PARTICLES & FIELDS
Journal Article
JOURNAL OF HIGH ENERGY PHYSICS, ISSN 1029-8479, 12/2013, Issue 12
The purpose of this note is to extend the results obtained in [1] in two ways. First, the six-dimensional F-theory compactifications with U(1) x U(1) gauge... 
Superstring Vacua | F-Theory | PHYSICS, PARTICLES & FIELDS
Journal Article
No results were found for your search.

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