Vladimir Lifschitz
Vladimir Lifschitz
Affiliation: University of Texas at Austin
Pages in this Program
A Normal Form for Rules Containing Arithmetic Operations
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍