Generalized Implicit Definitions on Finite Structures

Authors

St Grumbach
Z. Lacroix
Steven Lindell, Haverford CollegeFollow

Document Type

Conference Proceeding

Role

Contributor

Publication

Computer science logic: 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Standard Number

3540613773

Volume

1092

First Page

252

Last Page

265

Publication Date

1996

Repository Citation

"Generalized Implicit Definitions on Finite Structures" (co-written with Stéphane Grumbach & Zoé Lacroix), in Kleine-Büning, H. (ed.), Computer Science Logic '95, Springer-Verlag, Lecture Notes in Computer Science Vol. 1092, 1996, pp. 252-265.