Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lars -Henrik Eriksson
A Finitary Version of the Calculus of Partial Inductive Definitions
Related publications
A New Elimination Rule for the Calculus of Inductive Constructions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions
Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory
Journal of Symbolic Logic
Philosophy
Logic
Local Constructive Set Theory and Inductive Definitions
Foundational Theories of Classical and Constructive Mathematics
Inductive Verification of Hybrid Automata With Strongest Postcondition Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Effective Entailment Checking for Separation Logic With Inductive Definitions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Definitions of Managed Objects for the Border Gateway Protocol: Version 3
Finitary Codes for Biinfinite Words
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
An Improved Reductant Calculus Using Fuzzy Partial Evaluation Techniques
Fuzzy Sets and Systems
Artificial Intelligence
Logic
