Minimal Relative Normalization in Orthogonal Expression Reduction Systems

JRW Glauert, Z Khasidashvili

Research output: Contribution to conferencePaper

2 Citations (Scopus)
Original languageEnglish
Pages238
Number of pages1
Publication statusPublished - 1996
Event16th International Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS'96) -
Duration: 1 Jan 1996 → …

Conference

Conference16th International Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS'96)
Period1/01/96 → …

Cite this