Generalized Implicit Definitions on Finite Structures

Stéphane Grumbach, Zoé Lacroix, Steven Lindell. Generalized Implicit Definitions on Finite Structures. In Hans Kleine Büning, editor, Computer Science Logic, 9th International Workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers. Volume 1092 of Lecture Notes in Computer Science, pages 252-265, Springer, 1995.

Abstract

Abstract is missing.