Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by RENÉ VESTERGAARD
Cut Rules and Explicit Substitutions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Reductions, Intersection Types, and Explicit Substitutions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Higher-Order Unification via Explicit Substitutions
Eta-Conversion for the Languages of Explicit Substitutions
Applicable Algebra in Engineering, Communications and Computing
Applied Mathematics
Number Theory
Algebra
Eta-Conversion for the Languages of Explicit Substitutions
Applicable Algebra in Engineering, Communications and Computing
Applied Mathematics
Number Theory
Algebra
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
Show Me the Rules! A User Study on Making Data Validation Rules Explicit in Spreadsheet Applications
The TEMPORA Approach: Information Systems Development Based on Explicit Business Rules With Time
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Pyruvate Substitutions on Glycoconjugates
International Journal of Molecular Sciences
Organic Chemistry
Molecular Biology
Theoretical Chemistry
Inorganic Chemistry
Computer Science Applications
Spectroscopy
Medicine
Catalysis
Physical
Inference Rules and Decision Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
