Pages that link to "Item:Q1302749"
From MaRDI portal
The following pages link to An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus (Q1302749):
Displaying 2 items.
The following pages link to An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus (Q1302749):
Displaying 2 items.