Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Bensaid, Hicham"'
Autor:
Bensaid, Hicham
Les schématisations de termes permettent de représenter des ensembles infinis de termes ayant une structure similaire de manière finie et compacte. Dans ce travail, nous étudions certains aspects liés à l'utilisation des schématisations de ter
Externí odkaz:
http://www.theses.fr/2011GRENM019/document
Publikováno v:
In Procedia Computer Science 2019 160:752-757
Publikováno v:
In Procedia Computer Science 2018 130:1005-1012
Autor:
Bensaid, Hicham
Publikováno v:
Autre [cs.OH]. Université de Grenoble, 2011. Français. ⟨NNT : 2011GRENM019⟩
Term schematisations allow one to represent infinite sets of terms having a similar structure by a finite and compact form. In this work we study some issues related to the use of term schematisation in automated deduction, in particular in saturatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::e4e04f0cc1dfd93840ee9a89bc4f9dfb
https://tel.archives-ouvertes.fr/tel-00618531/document
https://tel.archives-ouvertes.fr/tel-00618531/document
Publikováno v:
2016 11th International Conference on Intelligent Systems: Theories & Applications (SITA); 2016, p1-6, 6p
Publikováno v:
Networked Systems (9783319461397); 2016, p202-208, 7p
Publikováno v:
2015 Intelligent Systems & Computer Vision (ISCV); 2015, p1-8, 8p
Publikováno v:
2015 10th International Conference on Intelligent Systems: Theories & Applications (SITA); 2015, p1-6, 6p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
TOWARDS AN UNIFIED APPROACH FOR MODELING AND ANALYSIS OF REAL-TIME EMBEDDED SYSTEMS USING MARTE/UML.
Publikováno v:
International Journal of Computer Science & Applications; Feb2015, Vol. 12 Issue 1, p117-126, 10p