Mirron Rozanov

From MaRDI portal
Person:2864398

Available identifiers

zbMath Open rozanov.mirronMaRDI QIDQ2864398

List of research outcomes





PublicationDate of PublicationType
Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic2013-12-06Paper

Research outcomes over time

This page was built for person: Mirron Rozanov