Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On the relative proof complexity of deep inference via atomic flows - MaRDI portal

On the relative proof complexity of deep inference via atomic flows

From MaRDI portal

Publication:5177335

Jump to:navigation, search

DOI10.2168/LMCS-11(1:4)2015zbMath1358.03089arXiv1502.05860MaRDI QIDQ5177335

Publication date: 11 March 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1502.05860

zbMATH Keywords

propositional logic graph rewriting proof theory normalisation proof complexity deep inference atomic flows

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Related Items (1)

Enumerating Independent Linear Inferences

This page was built for publication: On the relative proof complexity of deep inference via atomic flows

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5177335&oldid=19741787"