Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Basin, D., Felty, A. Current Trends in Logical Frameworks and Metalanguages. Journal of Automated Reasoning 27, 1–2 (2001). https://doi.org/10.1023/A:1010624702918
Issue Date:
DOI: https://doi.org/10.1023/A:1010624702918