Programming Language Theory Flashcard
What is a rule scheme?
Books
Concepts
Decklogic tools
Question
What is a rule scheme?
Answer
Synonymous with Rule schema - An Inference rule that is parameterized with Metavariables.
Question
What is a rule scheme?
Answer
Synonymous with Rule schema - An Inference rule that is parameterized with Metavariables.