European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93

DOI10.1017/S1079898600008052zbMath0850.03006OpenAlexW2321254181MaRDI QIDQ4873896

No author found.

Publication date: 6 June 1996

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0104-toc.htm

zbMATH Keywords

MeetingLogic ColloquiumSymbolic LogicKeele

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Decidability of the restriction equational theory in the partial lambda calculus

This page was built for publication: European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93