Amanote Research
Register
Sign In
Splitting a Logic Program
doi 10.7551/mitpress/4316.003.0014
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1994
Authors
Unknown
Publisher
The MIT Press
Related search
Complementing Logic Program Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Program Transformation for Backwards Analysis of Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Program Evaluation in a Cross-Cultural Context: Action Research, Program Logic and Youth Justice in Thailand
Learning Communities: International Journal of Learning in Social Contexts
Logic Models for Program Evaluation in Emergency Nursing
Journal of Emergency Nursing
Emergency Nursing
Array Regrouping and Structure Splitting Using Whole-Program Reference Affinity
ACM SIGPLAN Notices
Program Decision Logic Optimization Using Predication and Control Speculation
Proceedings of the IEEE
Electronic Engineering
Electrical
Computer Science
Totally Correct Logic Program Transformations via Well-Founded Annotations
Higher-Order and Symbolic Computation
The Logic Underlying a Research-Based College Access Program: Depicting the Theory of Change of the Princeton University Preparatory Program
ETS Research Report Series
Statistics
Probability
Uncertainty
Applied Psychology
Social Psychology
Education
Research and Improvement of Test Case Design Method for Program Logic
DEStech Transactions on Computer Science and Engineering