Contents: Invited papers:J.A. Bergstra: ACP with signals / L. Fribourg: |
Functional extensions to Prolog: are they needed? / E. Giovanetti: |
Narrowing and resolution in logic-functional programming languages. / H. Hussmann: |
Nondeterministic algebraic specifications and nonconfluent term rewriting. / J-P. Jouannaud ; C. Kirchner ; H. Kirchner ; A. MFgrelis: |
OBJ: Programming with equalities, subsorts, overloading and parameterization. / G. Smolka: |
Logic programming with polymorphically order-sorted types. |
And 20 submitted papers. |
Contents: Invited papers:J.A. Bergstra: ACP with signals / L. Fribourg: |
Functional extensions to Prolog: are they needed? / E. Giovanetti: |
Narrowing and resolution in logic-functional programming languages. / H. Hussmann: |
Nondeterministic algebraic specifications and nonconfluent term rewriting. / J-P. Jouannaud ; C. Kirchner ; H. Kirchner ; A. MFgrelis: |
OBJ: Programming with equalities, subsorts, overloading and parameterization. / G. Smolka: |
Logic programming with polymorphically order-sorted types. |