ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2107.07376
  4. Cited By

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

14 July 2021
Elaine Pimentel
Enrico Tassi
    LRMAI4CE
ArXiv (abs)PDFHTMLGithub

Papers citing "Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice"

0 / 0 papers shown

No papers found

Page 1 of 0