Search Newest

English العربية

Search research

Search 32,894 papers in Arabic or English

arXiv 2000-03-14 EN

Reasoning with Higher-Order Abstract Syntax in a Logical Framework

McDowell, Raymond C. · Miller, Dale A.

Subjects

Astrophysics 15,289
Statistical Mechanics 3,571
Strongly Correlated Electrons 2,660
Materials Science 2,479
Superconductivity 2,209
Condensed Matter 2,207
Mesoscale and Nanoscale Physics 2,092
Soft Condensed Matter 1,611
Disordered Systems and Neural Networks 1,381
Artificial Intelligence 520
High Energy Physics - Phenomenology 476
Computation and Language 445
Other Condensed Matter 425
General Relativity and Quantum Cosmology 390
Chaotic Dynamics 388
High Energy Physics - Theory 371
Quantum Physics 315
Quantitative Biology 311
Logic in Computer Science 304
Distributed, Parallel, and Cluster Computing 239
Data Structures and Algorithms 214
Programming Languages 202
Computational Complexity 188
Databases 162
cond-mat.mtrl-sci 160

112 of 32,894 translated to Arabic

Terms of Use Privacy

Metadata is harvested from the OAI-PMH endpoints of each repository and remains under its original licence. Arabic translations are machine-generated and should be checked against the original before citation.

.