Decidable subcases of the equivalence problem for recursive program schemes
Page 1
Displaying 1 – 3 of 3
Deduction over graphs under constraints : a soundness and completeness theorem
Seyed-Kazem Lellahi, Nicolas Spyratos (1993)
Diagrammes
Demonic semantics: using monotypes and residuals.
Tchier, F. (2004)
International Journal of Mathematics and Mathematical Sciences
Currently displaying 1 – 3 of 3
Page 1