Kleene algebras with implication
Castiglioni, José Luis, Celani, Sergio Arturo, San Martín, Hernán JavierVolume:
77
Language:
english
Journal:
Algebra universalis
DOI:
10.1007/s00012-017-0433-4
Date:
July, 2017
File:
PDF, 945 KB
english, 2017