R. Alali, C. Durante, J. J. Mercier. A model for non interpreted structures of logical systems. In Patricia H. Lambert, Hillel Ofek, Lawrence A. O'Neill, Pat O. Pistilli, Paul Losleben, J. D. Nash, Dennis W. Shaklee, Bryan T. Preas, Harvey N. Lerman, editors, Proceedings of the 21st Design Automation Conference, DAC '84, Albuquerque, New Mexico, June 25-27, 1984. pages 258-264, ACM/IEEE, 1984. [doi]
No references recorded for this publication.
No citations of this publication recorded.