External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A model for non interpreted structures of logical systems

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]

Authors

R. Alali

This author has not been identified. Look up 'R. Alali' in Google

C. Durante

This author has not been identified. Look up 'C. Durante' in Google

J. J. Mercier

This author has not been identified. Look up 'J. J. Mercier' in Google
runs on