Search for Author All Reviews
	Calautti, Marco     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Detecting decidable classes of finitely ground logic programs with function symbols Calautti M., Greco S., Trubitsyna I. ACM Transactions on Computational Logic 18(4): 1-42, 2017.  Type: Article The termination problem of programs is in general an undecidable problem. However, in the context of some programming paradigms, there has been a lot of research in finding useful decidable criteria characterizing certain subclasses of...... May 22 2018
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy