Nalon, Cláudia and Hustadt, Ullrich and Papacchini, Fabio and Dixon, Clare (2024) Model Construction for Modal Clauses. In: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II. Lecture Notes in Computer Science . Springer, Cham, pp. 3-23. ISBN 9783031635007
Full text not available from this repository.Item Type:
Contribution in Book/Report/Proceedings
Uncontrolled Keywords:
Research Output Funding/no_not_funded
Subjects:
?? no - not fundedcomputational theory and mathematics ??
ID Code:
221895
Deposited By:
Deposited On:
01 Nov 2025 00:34
Refereed?:
Yes
Published?:
Published
Last Modified:
17 Dec 2025 11:01
Altmetric
Altmetric