Amanote Research
Register
Sign In
A Finitary Version of the Calculus of Partial Inductive Definitions
doi 10.1007/bfb0013605
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Lars -Henrik Eriksson
Publisher
Springer-Verlag
Related search
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
