Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Specification and proof in membership equational logic

2000231 citationsJournal Article

Authors

Adel Bouhoula · SRI International

Jean-Pierre Jouannaud · Université Paris-Sud

José Meseguer · SRI International

Topics & Keywords

Logic, programming, and type systems Formal Methods in Verification Logic, Reasoning, and Knowledge

UN Sustainable Development Goals

Quality Education

Publication Details

Published in: Theoretical Computer Science

Volume 236, Issue 1-2, pp. 35-132

DOI: 10.1016/s0304-3975(99)00206-6

Field-Weighted Citation Impact: 17.05

Specification and proof in membership equational logic | Researchclopedia