Top-down semantics of fair computations of logic programs
From MaRDI portal
Publication:3721791
DOI10.1016/0743-1066(85)90005-6zbMath0592.68019MaRDI QIDQ3721791
Maarten H. Van Emden, M. A. Nait Abdallah
Publication date: 1985
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(85)90005-6
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
\(\exists\)-Universal termination of logic programs, Contributions to the semantics of logic perpetual processes, Completions of perpetual logic programs, Sémantique logique et dénotationnelle des interpréteurs PROLOG