A Lightweight Formalization of the Metatheory of Bisimulation-Up-To

doi 10.1145/2676724.2693170
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Pumping Up of the Plasticized Lightweight Concrete to the 80 M High Worksite

Concrete Journal
1979English

The Current State of Transformative Learning Theory: A Metatheory

Phronesis
2018English

Towards a Mechanized Metatheory of Standard ML

2007English

A Formalization of the Coach Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Metatheory of Actions: Beyond Consistency

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2007English

Mechanized Metatheory Revisited

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

A Formalization of Polytime Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Formalization of Minimalist Syntax

Syntax
LinguisticsLanguage
2016English

Computational Metatheory in Nuprl

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy