Dynamic algebras with test

• Authors:

• Vera Trnková;Jan Reiterman

• Affiliations:

• Charles Univ. Prague, Prague, Czechoslovakia;FJFI CVUT, Prague, Czechoslovakia

• Venue:
• Journal of Computer and System Sciences
• Year:
• 1987