Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Two Restrictions on Contraction

From MaRDI portal
Publication:4812252
Jump to:navigation, search

DOI10.1093/JIGPAL/11.5.525zbMath1051.03047OpenAlexW1970244405MaRDI QIDQ4812252

Kai Brünnler

Publication date: 7 September 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/11.5.525



Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)








This page was built for publication: Two Restrictions on Contraction

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4812252&oldid=19132058"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 01:23.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki