Toggle navigation
Labra's home page
Home
Publications
Posts
Projects
Teaching
Talks
Other
Contact
Language-Prototyping-System
Specification of Logic Programming Languages from Reusable Semantic Building Blocks