Login / Signup

Horn Programs and Semicomputable Relations on Abstract Structures.

John V. TuckerJeffery I. Zucker
Published in: ICALP (1989)
Keyphrases