Skip to content

Equality Reasoning with Equality-paths.

Karl-Hans Blsius

Year1985
ProceedingsGWAI

Browse the full KI paper archive.