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
Linear resources in Isabelle/HOL - MaRDI portal

Linear resources in Isabelle/HOL

From MaRDI portal

Publication:6552504

Jump to:navigation, search

DOI10.1007/s10817-024-09698-2MaRDI QIDQ6552504

Jacques D. Fleuriot, Filip Smola

Publication date: 10 June 2024

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

Isabelle/HOL intuitionistic linear logic process models deep embedding

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Linear resources in Isabelle/HOL

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