Amanote Research
Register
Sign In
Loop Checking and Negation
The Journal of Logic Programming
doi 10.1016/0743-1066(93)90017-b
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1993
Authors
Roland N. Bol
Publisher
Elsevier BV
Related search
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
IEEE Transactions on Software Engineering
Software
An Analysis of Loop Checking Mechanisms for Logic Programs
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Paraconsistent Negation and Classical Negation in Computation Tree Logic
Subminimal Negation
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Negation and Negative Polarity
Negation in Mongolic
Suomalais-Ugrilaisen Seuran Aikakauskirja
Studies on Negation
SLDNF, Constructive Negation and Grounding
Negation Im Alznerischen
Acta Universitatis Lodziensis. Folia Germanica
