Skip to content

Logic programming and substitutions.

Gudmund Skovbjerg Frandsen

VenueBFCT
Year1985
ProceedingsFCT

Browse the full FCT paper archive.