Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings

DOI10.1007/BFb0014301zbMath0851.00082OpenAlexW4205580095MaRDI QIDQ1919791

No author found.

Publication date: 24 July 1996

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0014301

zbMATH Keywords

ConferenceProceedingsMunich (Germany)Software technologyAlgebraic methodologyAMAST

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Proceedings of conferences of miscellaneous specific interest (00B25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Checking termination of bottom-up evaluation of logic programs with function symbols

Uses Software

• Nuprl

This page was built for publication: Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings