R. Alali

Publication Activity (10 Years)

Years Active: 1984-1984
Publications (10 Years): 0

Publications

R. Alali, C. Durante, J. J. Mercier
A model for non interpreted structures of logical systems. DAC (1984)