scientific article
From MaRDI portal
Publication:3030254
zbMATH Open0626.68041MaRDI QIDQ3030254
Author name not available (Why is that?)
Publication date: 1986
Title of this publication is not available (Why is that?)
logic programslogic programmingcomplexity classesalternating Turing machinescomplexity of derivations
Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01)
Related Items (4)
Programs with continuations and linear logic ⋮ Logic programming: laxness and saturation ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3030254)
