• Computer Science
  • Published in
    Logic Programming: Functions…
    1986

EQLOG: Equality, Types, and Generic Modules For Logic Programming

@inproceedings{Goguen1986EQLOGET,
  title={EQLOG: Equality, Types, and Generic Modules For Logic Programming},
  author={Joseph A. Goguen and Jos{\'e} Meseguer},
  booktitle={Logic Programming: Functions, Relations, and Equations},
  year={1986}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 121 CITATIONS

A hidden Herbrand theorem: combining the object and logic paradigms

  • J. Log. Algebr. Program.
  • 2002
VIEW 14 EXCERPTS
CITES METHODS, RESULTS & BACKGROUND

A Hidden Herbrand Theorem

VIEW 14 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS

Completeness of Category-Based Equational Deduction

  • Mathematical Structures in Computer Science
  • 1995
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Category-based Semantics for Equational and Constraint Logic Programming

VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

General Logics

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND

A hidden agenda

  • Theor. Comput. Sci.
  • 2000
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS

Logical semantics for CafeOBJ

VIEW 2 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Logical Debugging

  • J. Symb. Comput.
  • 1993
VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1986
2019

CITATION STATISTICS

  • 6 Highly Influenced Citations