Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marco Maggesi
Nested Abstract Syntax in Coq
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
Abstract Syntax Notation X (ASN.X)
Primitive Recursion for Higher-Order Abstract Syntax
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Managing Process Model Complexity via Abstract Syntax Modifications
IEEE Transactions on Industrial Informatics
Control
Systems Engineering
Information Systems
Electronic Engineering
Computer Science Applications
Electrical
Abstract Syntax in Sentence Production: Evidence From Stem-Exchange Errors
Journal of Memory and Language
Linguistics
Neuropsychology
Language
Cognitive Psychology
Physiological Psychology
Artificial Intelligence
Experimental
ASNST: An Abstract Syntax Notation-One Support Tool
Computer Communications
Computer Networks
Communications
Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo
Journal of Information and Organizational Sciences
Computer Science Applications
Information Systems
Library
Information Sciences
A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism
Journal of Functional Programming
Software
Robust XML Encoding Rules (RXER) for Abstract Syntax Notation One (ASN.1)
