A hidden Herbrand theorem: combining the object and logic paradigms
Joseph Goguen, Grant Malcolm, Tom KempVolume:
51
Year:
2002
Language:
english
Pages:
41
DOI:
10.1016/s1567-8326(01)00011-x
File:
PDF, 324 KB
english, 2002