المؤلفون: Horbach, Matthias, Voigt, Marco, Weidenbach, Christoph

المساهمون: Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Saarland University Saarbrücken, 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), Leonardo de Moura

المصدر: CADE 26 - 26th International Conference on Automated Deduction ; https://inria.hal.science/hal-01592160 ; CADE 26 - 26th International Conference on Automated Deduction, Aug 2017, Gothenburg, Sweden. pp.77-94, ⟨10.1007/978-3-319-63046-5_6⟩

مصطلحات موضوعية: Bernays-Schönfinkel-Ramsey fragment, Linear integer arithmetic, Complete instantiation, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Gothenburg, Sweden

Relation: hal-01592160; https://inria.hal.science/hal-01592160; https://inria.hal.science/hal-01592160/document; https://inria.hal.science/hal-01592160/file/HorbachVoigtWeidenbachCADE.pdf

الاتاحة: https://inria.hal.science/hal-01592160
https://inria.hal.science/hal-01592160/document
https://inria.hal.science/hal-01592160/file/HorbachVoigtWeidenbachCADE.pdf
https://doi.org/10.1007/978-3-319-63046-5_6

المؤلفون: Voigt, Marco

المساهمون: 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), Max-Planck-Gesellschaft, Clare Dixon and Marcelo Finger

المصدر: FroCoS 2017 - 11th International Symposium on Frontiers of Combining Systems ; https://inria.hal.science/hal-01592169 ; FroCoS 2017 - 11th International Symposium on Frontiers of Combining Systems, Sep 2017, Brasilia, Brazil. pp.244-261, ⟨10.1007/978-3-319-66167-4_14⟩

مصطلحات موضوعية: combination of theories, difference constraints, linear arithmetic constraints, Bernays–Schönfinkel–Ramsey fragment, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Brasilia, Brazil

الاتاحة: https://inria.hal.science/hal-01592169
https://inria.hal.science/hal-01592169v1/document
https://inria.hal.science/hal-01592169v1/file/VoigtFroCoS.pdf
https://doi.org/10.1007/978-3-319-66167-4_14

المؤلفون: Sturm, Thomas, Voigt, Marco, Weidenbach, Christoph

المساهمون: 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), Max-Planck-Gesellschaft, 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), San Diego State University (SDSU)

المصدر: LICS 2016 ; https://inria.hal.science/hal-01389744 ; LICS 2016, Jul 2016, New York, United States. pp.86 - 95, ⟨10.1145/2933575.2934532⟩

مصطلحات موضوعية: Decidable first-order fragment, Bernays–Schönfinkel– Ramsey fragment, monadic fragment, finite model property, [INFO]Computer Science [cs]

جغرافية الموضوع: New York, United States

الاتاحة: https://inria.hal.science/hal-01389744
https://doi.org/10.1145/2933575.2934532

المؤلفون: Marco Voigt

المساهمون: 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), Max-Planck-Gesellschaft, Clare Dixon and Marcelo Finger, 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)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft

المصدر: FroCoS 2017-11th International Symposium on Frontiers of Combining Systems
FroCoS 2017-11th International Symposium on Frontiers of Combining Systems, Sep 2017, Brasilia, Brazil. pp.244-261, ⟨10.1007/978-3-319-66167-4_14⟩
Frontiers of Combining Systems ISBN: 9783319661667
FroCoS

مصطلحات موضوعية: Discrete mathematics, Logic in computer science, difference constraints, Bernays–Schönfinkel–Ramsey fragment, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], linear arithmetic constraints, 0102 computer and information sciences, 02 engineering and technology, Predicate (mathematical logic), Arity, 01 natural sciences, Satisfiability, Decidability, Undecidable problem, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, Bounded function, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Programming Languages, 020201 artificial intelligence & image processing, combination of theories, Boolean satisfiability problem, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd65fa72d98b8a61f66d0108fd7dba2b
https://inria.hal.science/hal-01592169/file/VoigtFroCoS.pdf

المؤلفون: Marco Voigt, Christoph Weidenbach, Matthias Horbach

المساهمون: Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Saarland University [Saarbrücken], 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), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Leonardo de Moura, 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)

المصدر: CADE 26-26th International Conference on Automated Deduction
CADE 26-26th International Conference on Automated Deduction, Aug 2017, Gothenburg, Sweden. pp.77-94, ⟨10.1007/978-3-319-63046-5_6⟩
Automated Deduction – CADE 26 ISBN: 9783319630458
CADE

مصطلحات موضوعية: Discrete mathematics, Predicate logic, Logic in computer science, Bernays-Schönfinkel-Ramsey fragment, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Data structure, 01 natural sciences, Decidability, Undecidable problem, Complete instantiation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Fragment (logic), 010201 computation theory & mathematics, Arbitrary-precision arithmetic, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Automated reasoning, Algorithm, Mathematics, Linear integer arithmetic

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76925ada4df0476c9afe8cd2635bca95
https://hal.inria.fr/hal-01592160/file/HorbachVoigtWeidenbachCADE.pdf