Publication | Closed Access
Declarative modeling of the operational behavior of logic languages
198
Citations
10
References
1989
Year
Declarative ProgrammingEngineeringOperational SemanticsAutomated ReasoningFormal MethodsOperational BehaviorFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1