Search alternatives:
signature team » signature stream, signature text, signatures stream
Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures -- Deciding the First Level...”