-
1مؤتمر
المؤلفون: Boigelot, Bernard, Fontaine, Pascal, Vergain, Baptiste
المصدر: urn:isbn:978-3-03-140247-0
urn:isbn:978-3-03-140246-3
Implementation and Application of Automata, 12 (2023-09); 27th International Conference on Implementation and Application of Automata (CIAA 2023), Famagusta, Cyprus [CY], September 19-22, 2023مصطلحات موضوعية: infinite-word automata, first-order logic, quantifier elimination, satisfiability, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
الوصول الحر: https://orbi.uliege.be/handle/2268/306285Test
-
2مؤتمر
المؤلفون: Amat, Nicolas, Dal Zilio, Silvano, Le Botlan, Didier
المساهمون: Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), ANR-11-LABX-0040,CIMI,Centre International de Mathématiques et d'Informatique (de Toulouse)(2011)
المصدر: Verification, Model Checking, and Abstract Interpretation. VMCAI 2024 ; https://laas.hal.science/hal-04375443Test ; Verification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London, United Kingdom. pp.101-123, ⟨10.1007/978-3-031-50524-9_5⟩
مصطلحات موضوعية: Petri nets, Quantifier elimination, Reachability problems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
جغرافية الموضوع: London, United Kingdom
العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/2401.03711; hal-04375443; https://laas.hal.science/hal-04375443Test; https://laas.hal.science/hal-04375443/documentTest; https://laas.hal.science/hal-04375443/file/paper.pdfTest; ARXIV: 2401.03711
الإتاحة: https://doi.org/10.1007/978-3-031-50524-9_5Test
https://laas.hal.science/hal-04375443Test
https://laas.hal.science/hal-04375443/documentTest
https://laas.hal.science/hal-04375443/file/paper.pdfTest -
3دورية أكاديمية
المؤلفون: Farhad Jahanian, Jafar Sadegh Eivazloo
المصدر: Mathematics Interdisciplinary Research, Vol 8, Iss 1, Pp 35-45 (2023)
مصطلحات موضوعية: double stone algebra, definable set, quantifier elimination, pseudo o-minimality, Mathematics, QA1-939
وصف الملف: electronic resource
العلاقة: https://mir.kashanu.ac.ir/article_113764_dbca5f7d7a4bb3e471d58346ae8c383b.pdfTest; https://doaj.org/toc/2476-4965Test
-
4رسالة جامعية
المؤلفون: Tonks, Zak
المساهمون: Davenport, James, Bradford, Russell
-
5
المؤلفون: Backeman, Peter, Rümmer, Philipp, 1978, Zeljic, Aleksandar
المصدر: Formal methods in system design. 57(2):121-156
مصطلحات موضوعية: Bit-vectors, Interpolation, Quantifier elimination, Presburger arithmetic
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-468643Test
https://doi.org/10.1007/s10703-021-00372-6Test
https://uu.diva-portal.org/smash/get/diva2:1641085/FULLTEXT01.pdfTest -
6دورية أكاديمية
المؤلفون: Kosaian, Katherine, Tan, Yong Kiam, Platzer, André
مصطلحات موضوعية: quantifier elimination, theorem proving, real arithmetic, multivariate polynomials, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004
وصف الملف: application/pdf
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/979-84-00-70026-2; https://publikationen.bibliothek.kit.edu/1000155892Test; https://publikationen.bibliothek.kit.edu/1000155892/150320872Test; https://doi.org/10.5445/IR/1000155892Test
الإتاحة: https://doi.org/10.5445/IR/1000155892Test
https://doi.org/10.1145/3573105.3575672Test
https://publikationen.bibliothek.kit.edu/1000155892Test
https://publikationen.bibliothek.kit.edu/1000155892/150320872Test -
7دورية أكاديمية
المؤلفون: Abolfazl Alam, Morteza Moniri
المصدر: Bulletin of the Section of Logic, Vol 51, Iss 2, Pp 163-176 (2022)
مصطلحات موضوعية: bounded arithmetic, complexity theory, existentially closed model, model completeness, model companion, quantifier elimination, stone topology, Logic, BC1-199
وصف الملف: electronic resource
العلاقة: https://czasopisma.uni.lodz.pl/bulletin/article/view/8225Test; https://doaj.org/toc/0138-0680Test; https://doaj.org/toc/2449-836XTest
-
8رسالة جامعية
المؤلفون: Siaulys, Kestutis
المساهمون: Maciejowski, Jan
مصطلحات موضوعية: 629.8, Model Predictive Control (MPC), Formal Methods, Quantifier Elimination, Cylindrical Algebraic Decomposition, Weispfenning's virtual term substitution, Satisfiability Modulo Theories (SMT), Robust Flight Control, Why3, MetiTarski, Exclusion Regions, Structured Singular Value, Explicit Model Predictive Control, Linear Temporal Logic, RECONFIGURE, Simulink
-
9دورية أكاديمية
المؤلفون: Rick Voßwinkel, Klaus Röbenack
المصدر: Algorithms, Vol 16, Iss 8, p 389 (2023)
مصطلحات موضوعية: sums-of-squares, quantifier elimination, polynomialization, Lyapunov methods, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
10دورية أكاديمية
المؤلفون: Clifton F. Ealy (Western Illinois University), Jana Maříková (Department of Mathematics, Faculty of Mathematics, University of Vienna)
المصدر: Annals of Pure and Applied Logic ; issn:0168-0072
مصطلحات موضوعية: O-minimality, Valuational weakly o-minimal structure, Quantifier elimination, Universal axiomatization, Convex valuation ring
وصف الملف: application/pdf
العلاقة: hdl:11353/10.1633099; https://phaidra.univie.ac.at/o:1633099Test
النص الكامل