SYMBOLIC SOLUTIONS FOR SYMBOLIC CONSTRAINT SATISFACTION PROBLEMS

von Melo, Alexsander Andrade De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Second-Order Finite Automata

von Melo, Alexsander Andrade de
Veröffentlicht in International Computer Science Symposium (15. : 2020 : Online) Computer science - theory and applications (2020)