Title of article

Herbrand theorems in arbitrary institutions

Author/Authors

R zvan Diaconescu، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 2004

Pages

9

From page

29

To page

37

Keywords

institutions , Herbrand theorems , Logic programming , Specification languages , formal methods

Journal title

Information Processing Letters

Serial Year

2004

Journal title

Information Processing Letters

Record number

129877