Publication | Closed Access
Opium: an extendable trace analyzer for Prolog
61
Citations
28
References
1999
Year
Computational LogicEngineeringAutomated ReasoningExtendable Trace AnalyzerFormal MethodsComputer ScienceSemanticsSymbolic ComputationSymbolic Technique
| Year | Citations | |
|---|---|---|
Page 1
Page 1