scientific article; zbMATH DE number 1956525
From MaRDI portal
Publication:4417871
zbMATH Open1029.68043MaRDI QIDQ4417871FDOQ4417871
Authors: Alberto Momigliano, Simon J. Ambler
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200375.htm
Title of this publication is not available (Why is that?)
Recommendations
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- scientific article; zbMATH DE number 1927412
- Reasoning with higher-order abstract syntax in a logical framework
- Two-level hybrid: a system for reasoning using higher-order abstract syntax
- scientific article; zbMATH DE number 1927423
Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- Reasoning with higher-order abstract syntax in a logical framework
- Cut elimination for a logic with induction and co-induction
- Automated reasoning with a constraint-based metainterpreter
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
- Abstract metaprolog engine
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417871)