WADT '98 ((1998 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Recent trends in algebraic development techniques[electronic resource] :13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers /
by:
Fiadeiro, Jose Luiz.; SpringerLink (Online service); WADT '98 ((1998 :)
(Electronic resources)