( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parameterised complexity of model checking and satisfiability in propositional dependence logic

, и . International Symposium on Foundations of Information and Knowledge Systems, стр. 157--174. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Muhammad Yasir

Yasir Diek

Yasir Zaki

Yasir Zaki

Athar Mahmood

 

Другие публикации лиц с тем же именем

A systematic review of studies on use case points and expert-based estimation of software development effort., , и . J. Softw. Evol. Process., (2020)Genome assembly composition of the String ÄCGT" array: a review of data structure accuracy and performance challenges., , , , и . PeerJ Comput. Sci., (2023)Parameterised Complexity of Propositional Logic in Team Semantics., и . CoRR, (2021)Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic., и . CoRR, (2019)Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation., , , и . IJCAI, стр. 3212-3220. ijcai.org, (2023)Computing Repairs Under Functional and Inclusion Dependencies via Argumentation., , , и . FoIKS, том 14589 из Lecture Notes in Computer Science, стр. 23-42. Springer, (2024)Software Effort Estimation Accuracy Prediction of Machine Learning Techniques: A Systematic Performance Evaluation., , , , и . CoRR, (2021)Software effort estimation accuracy prediction of machine learning techniques: A systematic performance evaluation., , , , и . Softw. Pract. Exp., 52 (1): 39-65 (2022)Parameterized aspects of team-based formalisms and logical inference. University of Hanover, Germany, (2022)base-search.net (ftunivhannover:oai:www.repo.uni-hannover.de:123456789/13169).A Parameterized View on the Complexity of Dependence Logic., , и . LFCS, том 13137 из Lecture Notes in Computer Science, стр. 125-142. Springer, (2022)