Authors: Boigelot, Bernard, Fontaine, Pascal, Vergain, Baptiste
Contributors: Université de Liège, Proof-oriented development of computer-based systems (MOSEL), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: CADE-29 - 29th International Conference on Automated Deduction (2023) ; https://inria.hal.science/hal-04317419 ; CADE-29 - 29th International Conference on Automated Deduction (2023), Jul 2023, Rome, Italy. pp.542-559, ⟨10.1007/978-3-031-38499-8_31⟩
Subject Terms: First-order logic, Decidability, SMT, Arithmetic, Uninterpreted predicates, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-04317419; https://inria.hal.science/hal-04317419; https://inria.hal.science/hal-04317419/document; https://inria.hal.science/hal-04317419/file/final_version.pdf
Authors: Hainry, Emmanuel, Péchoux, Romain
Contributors: Designing the Future of Computational Models (MOCQUA), 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), Inria associate team TC(Pro)3
Superior Title: POPL 23 ; https://inria.hal.science/hal-04190355 ; POPL 23, Jan 2023, Boston, United States. pp.806 - 832, ⟨10.1145/3571221⟩
Subject Terms: CCS Concepts: Theory of computation → Complexity theory and logic Type theory Logic and verification Polynomial time, Computational Complexity, Noninterference, Shape Analysis, CCS Concepts, Theory of computation → Complexity theory and logic, Type theory, Logic and verification Polynomial time, [INFO]Computer Science [cs]
Subject Geographic: Boston, United States
Time: Boston, United States
Relation: hal-04190355; https://inria.hal.science/hal-04190355; https://inria.hal.science/hal-04190355/document; https://inria.hal.science/hal-04190355/file/shapedTiering.pdf
Authors: Leidinger, Hendrik, Weidenbach, Christoph
Contributors: 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
Superior Title: ISSN: 0168-7433.
Subject Terms: 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]
Relation: hal-04313698; https://inria.hal.science/hal-04313698; https://inria.hal.science/hal-04313698/document; https://inria.hal.science/hal-04313698/file/s10817-023-09673-3.pdf
Authors: Stratulat, Sorin
Contributors: 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), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), 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)
Superior Title: ISSN: 1012-2443.
Subject Terms: automated reasoning, cyclic induction, first-order logic with inductive definitions, proof certification, Coq, E-Cyclist, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-03993176; https://inria.hal.science/hal-03993176; https://inria.hal.science/hal-03993176v2/document; https://inria.hal.science/hal-03993176v2/file/amai2022.pdf
Authors: Hoyrup, Mathieu
Contributors: Designing the Future of Computational Models (MOCQUA), 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)
Superior Title: ISSN: 2211-3568.
Subject Terms: overt choice, quasi-Polish space, Weihrauch degree, represented space, computable analysis, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN]
Relation: hal-04164138; https://inria.hal.science/hal-04164138; https://inria.hal.science/hal-04164138v2/document; https://inria.hal.science/hal-04164138v2/file/article%20%281%29.pdf
Authors: Stratulat, Sorin
Contributors: 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), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), 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)
Superior Title: ISSN: 1012-2443.
Subject Terms: automated reasoning cyclic induction first-order logic with inductive definitions proof certification Coq E-Cyclist, automated reasoning, cyclic induction, first-order logic with inductive definitions, proof certification, Coq, E-Cyclist, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-03993176; https://inria.hal.science/hal-03993176; https://inria.hal.science/hal-03993176/document; https://inria.hal.science/hal-03993176/file/Str__2023.pdf
Authors: Horch, Mohamed, Chemi, Abdelkari, Baghli, Lotfi, Kadi, Sara
Contributors: Laboratoire d'Automatique de Tlemcen (LAT), Université Aboubekr Belkaid - University of Belkaïd Abou Bekr Tlemcen, Manufacturing engineering laboratory of Tlemcen (MELT), Groupe de Recherche en Energie Electrique de Nancy (GREEN), Université de Lorraine (UL), Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene Alger (USTHB)
Superior Title: ISSN: 1427-4221.
Subject Terms: chattering phenomenon doubly fed induction generator fuzzy logic gain adaptation sliding mode control vector control wind energy conversion systems, chattering phenomenon, doubly fed induction generator, fuzzy logic gain adaptation, sliding mode control, vector control, wind energy conversion systems, [SPI.NRJ]Engineering Sciences [physics]/Electric power
Relation: hal-04060581; https://hal.univ-lorraine.fr/hal-04060581; https://hal.univ-lorraine.fr/hal-04060581/document; https://hal.univ-lorraine.fr/hal-04060581/file/art16_int.pdf
Authors: François, Nicolas, Laure, Thomas, Lieber, Jean
Contributors: K team (Data Science, Knowledge, Reasoning and Engineering), Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), 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)-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), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Zied Bouraoui, François Schwarzentruber, Anaëlle Wilczynski
Superior Title: Journées d'intelligence artificielle fondamentale -- plateforme AFIA 2023 ; https://inria.hal.science/hal-04268839 ; Journées d'intelligence artificielle fondamentale -- plateforme AFIA 2023, Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.11
Subject Terms: Knowledge representation, Logic, Case-based reasoning, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Strasbourg, France
Relation: hal-04268839; https://inria.hal.science/hal-04268839; https://inria.hal.science/hal-04268839/document; https://inria.hal.science/hal-04268839/file/Francois_Laure_Lieber_JIAF_2023.pdf
Availability:
https://inria.hal.science/hal-04268839
https://inria.hal.science/hal-04268839/document
https://inria.hal.science/hal-04268839/file/Francois_Laure_Lieber_JIAF_2023.pdf
Contributors: Universität Greifswald - University of Greifswald, University of Miami, Université de Liège, Proof-oriented development of computer-based systems (MOSEL), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: LPAR 2023 - 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ; https://inria.hal.science/hal-04317596 ; LPAR 2023 - 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Jun 2023, Manizales, Colombia. ⟨10.29007/1rhx⟩
Relation: hal-04317596; https://inria.hal.science/hal-04317596; https://inria.hal.science/hal-04317596/document; https://inria.hal.science/hal-04317596/file/ModelVerification.pdf
Authors: Boigelot, Bernard, Fontaine, Pascal, Vergain, Baptiste
Contributors: Université de Liège, Proof-oriented development of computer-based systems (MOSEL), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Eastern Mediterranean University
Superior Title: EMU 2023 - 27th International Conference on Implementation and Application of Automata ; https://inria.hal.science/hal-04317399 ; EMU 2023 - 27th International Conference on Implementation and Application of Automata, Eastern Mediterranean University, Sep 2023, Famagusta, Cyprus. pp.91-102, ⟨10.1007/978-3-031-40247-0_6⟩
Subject Terms: Innite-word automata, rst-order logic, quantier elimination, satisability, [INFO]Computer Science [cs]
Relation: hal-04317399; https://inria.hal.science/hal-04317399; https://inria.hal.science/hal-04317399/document; https://inria.hal.science/hal-04317399/file/paper.pdf
Authors: Cirstea, Horatiu, Merz, Stephan
Contributors: 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), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), 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), Paula Herber and Anton Wijs
Superior Title: Lecture Notes in Computer Science ; 18th International Conference on Integrated Formal Methods (iFM 2023) ; https://inria.hal.science/hal-04293883 ; 18th International Conference on Integrated Formal Methods (iFM 2023), Nov 2023, Leiden, Netherlands. pp.321-340
Subject Terms: Formal modeling and verification, distributed algorithms, model checking, temporal logic, TLA, [INFO]Computer Science [cs]
Subject Geographic: Leiden, Netherlands
Relation: hal-04293883; https://inria.hal.science/hal-04293883; https://inria.hal.science/hal-04293883/document; https://inria.hal.science/hal-04293883/file/main.pdf
Availability:
https://inria.hal.science/hal-04293883
https://inria.hal.science/hal-04293883/document
https://inria.hal.science/hal-04293883/file/main.pdf
Contributors: Logic, Proof Theory and Programming (TYPES), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Adam Naumowicz, René Thiemann, LIPICS, ANR-21-CE48-0011,NARCO,Compositions Non-agrégatives de Resources(2021)
Superior Title:
14th International Conference on Interactive Theorem Proving (ITP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 268, pp. 1-660, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)https://doi.org/10.4230/LIPIcs.ITP.2023
14th International Conference on Interactive Theorem Proving (ITP 2023)
https://hal.science/hal-04200527
14th International Conference on Interactive Theorem Proving (ITP 2023), Adam Naumowicz
René Thiemann, Jul 2023, Białystok, Poland. pp.21:1--17, ⟨10.4230/LIPIcs.ITP.2023.21⟩
https://mizar.uwb.edu.pl/ITP2023/program.html
Subject Terms: Theory of computation → Models of computation, µ-recursive functions, computational contents, Coq, extraction, OCaml, Theory of computation → Functional constructs, Software and its engineering → Formal methods, Software and its engineering → Functional languages, Theory of computation → Higher order logic phrases Unbounded linear search, Theory of computation → Type theory, [INFO]Computer Science [cs]
Time: Białystok, Poland
Relation: hal-04200527; https://hal.science/hal-04200527; https://hal.science/hal-04200527/document; https://hal.science/hal-04200527/file/itp23-murec.pdf
Authors: Liu, Mo, Padmanabha, Anantha, Ramanujam, R, Wang, Yanjing
Contributors: Computational Epistemic Logic in LOrraine (CELLO), Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Value from Data (VALDA ), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Institute of Mathematical Sciences Chennai (IMSc), Peking University Beijing, ANR-19-P3IA-0001,PRAIRIE,PaRis Artificial Intelligence Research InstitutE(2019)
Superior Title: Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany ; 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022) ; https://inria.hal.science/hal-03765358 ; 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Aug 2022, Vienna, Austria. pp.70:1--70:14, ⟨10.4230/LIPIcs.MFCS.2022.70⟩
Subject Terms: First-order modal logic, Decidability, Tableaux, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-03765358; https://inria.hal.science/hal-03765358; https://inria.hal.science/hal-03765358/document; https://inria.hal.science/hal-03765358/file/LIPIcs-MFCS-2022-70.pdf
Contributors: Delft University of Technology (TU Delft), Vrije Universiteit Amsterdam Amsterdam (VU), Universiteit Utrecht / Utrecht University Utrecht, Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Semantic Analysis of Natural Language (SEMAGRAMME), 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 Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), 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), Maria Manuel Clementino, Peter Jipsen, Jorge Picado
Superior Title: Topology, Algebra, and Categories in Logic (TACL 2022) ; https://hal.science/hal-03727761 ; Topology, Algebra, and Categories in Logic (TACL 2022), Maria Manuel Clementino; Peter Jipsen; Jorge Picado, Jun 2022, Coimbra, Portugal. pp.79-81 ; https://www.mat.uc.pt/~tacl2021/
Subject Terms: Display logic, Focused sequent calculus, Lambek-Grishin calculus, Polarized logics, Heterogeneous algebras, Weakening relations, Semantics of proofs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Relation: hal-03727761; https://hal.science/hal-03727761; https://hal.science/hal-03727761/document; https://hal.science/hal-03727761/file/TACL_2022_paper_45.pdf
Availability:
https://hal.science/hal-03727761
https://hal.science/hal-03727761/document
https://hal.science/hal-03727761/file/TACL_2022_paper_45.pdf
Authors: Kirst, Dominik, Hostert, Johannes, Dudenhefner, Andrej, Forster, Yannick, Hermes, Marc, Koch, Mark, Larchey-Wendling, Dominique, Mück, Niklas, Peters, Benjamin, Smolka, Gert, Wehr, Dominik
Contributors: Programming Systems Lab Saarland, Saarland University Saarbrücken, Logic, Proof Theory and Programming (TYPES), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: The Coq Workshop 2022 ; https://hal.science/hal-03756335 ; The Coq Workshop 2022, Aug 2022, Haifa, Israel
Subject Terms: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: hal-03756335; https://hal.science/hal-03756335; https://hal.science/hal-03756335/document; https://hal.science/hal-03756335/file/Coq2022-01-01-first-order-logic.pdf
Availability:
https://hal.science/hal-03756335
https://hal.science/hal-03756335/document
https://hal.science/hal-03756335/file/Coq2022-01-01-first-order-logic.pdf
Authors: Leidinger, Hendrik, Weidenbach, Christoph
Contributors: 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)
Superior Title: IJCAR, International Joint Conference in Automated Reasoning ; https://inria.hal.science/hal-03881912 ; IJCAR, International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.228-247, ⟨10.1007/978-3-031-10769-6_14⟩
Subject Terms: 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], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: hal-03881912; https://inria.hal.science/hal-03881912; https://inria.hal.science/hal-03881912/document; https://inria.hal.science/hal-03881912/file/submission.pdf
Contributors: Consejo Nacional de Investigaciones Científicas y Técnicas Buenos Aires (CONICET), Universidad de Buenos Aires Buenos Aires (UBA), Universidad Nacional de Quilmes (UNQ), Designing the Future of Computational Models (MOCQUA), 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), ANR-22-PETQ-0007,EPiQ,Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique(2022)
Superior Title: https://inria.hal.science/hal-04266203 ; 2023.
Subject Terms: Quantum control, Linear Logic, Dual Light Affine Logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2311.01054; hal-04266203; https://inria.hal.science/hal-04266203; https://inria.hal.science/hal-04266203/document; https://inria.hal.science/hal-04266203/file/punq.pdf; ARXIV: 2311.01054
Availability:
https://inria.hal.science/hal-04266203
https://inria.hal.science/hal-04266203/document
https://inria.hal.science/hal-04266203/file/punq.pdf
Authors: Hoyrup, Mathieu
Contributors: Designing the Future of Computational Models (MOCQUA), 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)
Superior Title: https://inria.hal.science/hal-04164138 ; 2023.
Subject Terms: overt choice, quasi-Polish space, Weihrauch degree, represented space, computable analysis, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN]
Relation: hal-04164138; https://inria.hal.science/hal-04164138; https://inria.hal.science/hal-04164138/document; https://inria.hal.science/hal-04164138/file/submitted.pdf
Availability:
https://inria.hal.science/hal-04164138
https://inria.hal.science/hal-04164138/document
https://inria.hal.science/hal-04164138/file/submitted.pdf
Contributors: Designing the Future of Computational Models (MOCQUA), 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), Institut de Mathématiques de Marseille (I2M), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), ANR-18-CE40-0002,FANs,Fondements des réseaux d'automates (booléens)(2018)
Superior Title: https://hal.science/hal-03978957 ; 2023.
Subject Terms: MSO logic, Treewidth, succinct graphs, automata networks, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2302.04522; hal-03978957; https://hal.science/hal-03978957; https://hal.science/hal-03978957/document; https://hal.science/hal-03978957/file/ricean-mso-nd.pdf; ARXIV: 2302.04522
Availability:
https://hal.science/hal-03978957
https://hal.science/hal-03978957/document
https://hal.science/hal-03978957/file/ricean-mso-nd.pdf
Authors: Ma, Tianyi, Zhu, Yu, Dainone, Pambiang Abel, Chen, Tongxin, Devaux, Xavier, Wan, Caihua, Migot, Sylvie, Lengaigne, Gwladys, Vergnat, Michel, Yan, Yu, Han, Xiufeng, Lu, Yuan
Contributors: Chinese Academy of Sciences Beijing (CAS), Institut Jean Lamour (IJL), Institut de Chimie - CNRS Chimie (INC-CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Jilin University (JLU), ANR-22-CE24-0006,SOTspinLED,Contrôle électrique de l'injection de spin dans les diodes électroluminescentes et les lasers via l'effet du couple de transfert de spin lié à l'interaction spin-orbite(2022)
Superior Title: ISSN: 2637-6113 ; ACS Applied Electronic Materials ; https://hal.science/hal-04311030 ; ACS Applied Electronic Materials, 2023, ⟨10.1021/acsaelm.3c00937⟩.
Subject Terms: Magnetic tunnel junction, Inverse magnetoresistance, Symmetry-dependent tunneling, Magnetic random-access memories, Spin logic, [PHYS]Physics [physics]
Relation: hal-04311030; https://hal.science/hal-04311030; https://hal.science/hal-04311030/document; https://hal.science/hal-04311030/file/Large%20sign%20reversal%20of%20TMR%20in%20Fe4N%20MTJ-main%20text-2nd%20revision.pdf