Programming Language Theory Flashcard
What is an instance of an inference rule?
Books
Concepts
Decklogic tools
Question
What is an instance of an inference rule?
Answer
An inference rule whose metavariables are replaced with real values.
Question
What is an instance of an inference rule?
Answer
An inference rule whose metavariables are replaced with real values.