Preorders, Partial Semigroups, and Quantales.

Koki Nishizawa Koji Yasuda Hitoshi Furusawa

Published in: RAMiCS (2020)

Keyphrases

databases
search engine
partial information
recursive functions