6th International Conference on Relational Methods in Computer Science Conference

Scholarly Activity

related documents

Interpretability of First—Order Dynamic Logic in a Relational Calculus Conferences