Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  28 نتائج ل ""Luxembourg""

فلترة النتائج

Collection : Ecole Polytechnique, Universite Paris-Saclay
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A Graphical Proof Theory of Logical Time

Subjects: proof theory; causality; deep inferenceHaifa; Israel

  • Source: FSCD 2022 - 7th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-03909486 ; FSCD 2022 - 7th International Conference on Formal Structures for

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Combinatorial Proofs for Constructive Modal Logic

Subjects: combinatorial proofs; proof equivalence; arena netsRennes; France

  • Source: AiML 2022 - Advances in Modal Logic ; https://inria.hal.science/hal-03909538 ; AiML 2022 - Advances in Modal Logic, Aug 2022, Rennes, France

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Equilibrated Warping: Finite Element Image Correlation with Mechanical Regularization

Subjects: Hyperelasticity; Finite elements; Image CorrelationLuxembourg

  • Source: FEniCS'2017 ; https://hal.science/hal-01661825 ; FEniCS'2017, Jun 2017, Luxembourg, Luxembourg

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Magnetospheric Venus Space Explorers (MVSE) Mission: A Proposal for Understanding the Dynamics of Induced Magnetospheres

Subjects: [SDU]Sciences of the Universe [physics]

  • Source: https://insu.hal.science/insu-04348583 ; 2023.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

The 2022 Magneto-Optics Roadmap

Subjects: [PHYS.COND.CM-MS]Physics [physics]/Condensed Matter [cond-mat]/Materials Science [cond-mat.mtrl-sci]

  • Source: ISSN: 0022-3727 ; EISSN: 1361-6463.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

An Analytic Propositional Proof System On Graphs

Subjects: Proof theory; prime graphs; cut elimination

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03087392 ; Logical Methods in Computer Science, 2022, 18 (4), ⟨10.46298/LMCS-18(4:1)2022⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Logic beyond formulas: a proof system on graphs

Subjects: Prime graphs; Cut elimination; Deep inferenceSaarbrücken; Germany

  • Source: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20), July 8--11, 2020, Saarbrücken, Germany ; LICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

SBML Level 3: an extensible format for the exchange and reuse of biological models

Subjects: Computational modeling; File format; Interoperability

  • Source: ISSN: 1744-4292.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Correlation satellites in optical and loss spectra

Subjects: [PHYS.COND.CM-GEN]Physics [physics]/Condensed Matter [cond-mat]/Other [cond-mat.other]

  • Source: ISSN: 2643-1564.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Towards a Denotational Semantics for Proofs in Constructive Modal Logic

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: https://hal.science/hal-03201439 ; 2021.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  28 نتائج ل ""Luxembourg""