A Fully Equational Proof of Parikh's Theorem

RAIRO - Theoretical Informatics and Applications - France
doi 10.1051/ita:2002007
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EDP Sciences

Related search

A Proof of Kamp's Theorem

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Proof of Hessenberg’s Theorem

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1953English

Modal Theorem Proving: An Equational Viewpoint

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1992English

A Proof of Berger's Theorem

Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
1963English

Elementary Proof of a Norm Theorem

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1952English

A Dynamical Proof of Pisot's Theorem

Canadian Mathematical Bulletin
Mathematics
2006English

A Simple Proof of Noether's Theorem

Glasgow Mathematical Journal
Mathematics
1996English

A New Proof of Lusin's Theorem

Fundamenta Mathematicae
Number TheoryAlgebra
1927English

A Short Proof of Morley's Theorem

Elemente der Mathematik
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy