Mechanized Metatheory Revisited

Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-018-9483-3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Towards a Mechanized Metatheory of Standard ML

2007English

Computational Metatheory in Nuprl

English

Metatheory of Actions: Beyond Consistency

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2007English

Mechanized Mathematics

Bulletin of the American Mathematical Society
1966English

Operational Performance of the Mechanized and Semi-Mechanized Potato Harvest

Engenharia Agricola
AgriculturalBiological Sciences
2011English

Synoptic Vision: Metatheory, Conceptualisation, and Critical Realism

Canadian Journal of Sociology
SociologyPolitical Science
2017English

A Mechanized Circulation System

College and Research Libraries
LibraryInformation Sciences
1966English

Revitalizing Comparative Library and Information Science: Theory and Metatheory

Journal of Documentation
Information SystemsLibraryInformation Sciences
2014English

The Current State of Transformative Learning Theory: A Metatheory

Phronesis
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy