×

Found 2 Documents (Results 1–2)

Proving termination of general Prolog programs. (English) Zbl 1494.68038

Ito, Takayasu (ed.) et al., Theoretical aspects of computer software. International conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 526, 265-289 (1991).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field