-
1Report
المؤلفون: Leidinger, Hendrik, Weidenbach, Christoph
مصطلحات موضوعية: Computer Science - Logic in Computer Science, I.2.3, F.3.1
URL الوصول: http://arxiv.org/abs/2412.10066
-
2Report
-
3Report
-
4Report
-
5Report
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2205.08449
-
6Report
-
7Report
المؤلفون: Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, González, Larry, Krötzsch, Markus, Marx, Maximilian, Murali, Harish K, Weidenbach, Christoph
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2201.09769
-
8Report
المؤلفون: Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, Krötzsch, Markus, Weidenbach, Christoph
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2107.03189
-
9Conference
المساهمون: Max Planck Institute for Informatics Saarbrücken, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: IJCAR 2024 - Automated Reasoning 12th International Joint Conference ; https://inria.hal.science/hal-04845238 ; IJCAR 2024 - Automated Reasoning 12th International Joint Conference, Jul 2024, Nancy, France. pp.133 - 153, ⟨10.1007/978-3-031-63498-7_9⟩
-
10Report
المؤلفون: Bromberger, Martin, Fiori, Alberto, Weidenbach, Christoph
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.0, F.3, I.1, I.2
URL الوصول: http://arxiv.org/abs/2003.04627
-
11Report
المؤلفون: Weidenbach, Christoph
المصدر: EPTCS 311, 2019, pp. 5-10
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1912.12966
-
12Report
-
13Conference
المؤلفون: Briefs, Yasmine, Leidinger, Hendrik, Weidenbach, Christoph
المساهمون: Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Max Planck Institute for Informatics Saarbrücken
المصدر: Frontiers of Combining Systems - 14th International Symposium ; https://inria.hal.science/hal-04313806 ; Frontiers of Combining Systems - 14th International Symposium, Sep 2023, Prague (CZ), Czech Republic. pp.81 - 98, ⟨10.1007/978-3-031-43369-6_5⟩
مصطلحات موضوعية: KBO Constraint Solving NP-complete problem Weight Ordering Constraint Solving, KBO Constraint Solving, NP-complete problem, Weight Ordering Constraint Solving, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
جغرافية الموضوع: Prague (CZ), Czech Republic
-
14Conference
المؤلفون: Bromberger, Martin, Schwarz, Simon, Weidenbach, Christoph
المساهمون: Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Max Planck Institute for Informatics Saarbrücken
المصدر: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ; https://inria.hal.science/hal-04313819 ; Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Jun 2023, Manizales, Colombia. pp.48-22, ⟨10.29007/8BR1⟩
-
15Conference
المساهمون: VERIfication pour les systèmes DIStribués (VERIDIS), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Max Planck Institute for Informatics Saarbrücken
المصدر: Springer LNCS ; Automated Deduction - {CADE} 29 - 29th International Conference on Automated Deduction ; https://inria.hal.science/hal-04313741 ; Automated Deduction - {CADE} 29 - 29th International Conference on Automated Deduction, Jul 2023, Rome (IT), Italy. pp.116-133, ⟨10.1007/978-3-031-38499-8_7⟩
Relation: hal-04313741; https://inria.hal.science/hal-04313741; https://inria.hal.science/hal-04313741/document; https://inria.hal.science/hal-04313741/file/978-3-031-38499-8_7.pdf
-
16Report
-
17
-
18Report
-
19Academic Journal
المؤلفون: Leidinger, Hendrik, Weidenbach, Christoph
المساهمون: Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Max Planck Institute for Informatics Saarbrücken
المصدر: ISSN: 0168-7433.
مصطلحات موضوعية: First-order logic with equality Term rewriting Model-based reasoning, First-order logic with equality, Term rewriting, Model-based reasoning, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
20Conference
المؤلفون: Haifani, Fajar, Weidenbach, Christoph
المساهمون: Max Planck Institute for Informatics Saarbrücken, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: IJCAR, International Joint Conference in Automated Reasoning ; https://inria.hal.science/hal-03881904 ; IJCAR, International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.208-227, ⟨10.1007/978-3-031-10769-6_13⟩
مصطلحات موضوعية: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]