Medicine by Sfakianakis Alexandros: Disjoint union partial algebras

Παρασκευή 17 Νοεμβρίου 2017

Hirsch, RD; McLean, B; (2017) Disjoint union partial algebras. Logical Methods in Computer Science (LMCS) (In press).

http://ift.tt/2AVCPyE