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
scientific article; zbMATH DE number 7699430 - MaRDI portal

scientific article; zbMATH DE number 7699430

From MaRDI portal

Publication:6099600

Jump to:navigation, search

DOI10.4230/LIPICS.ITP.2021.13MaRDI QIDQ6099600

Francesco Dagnino, Elena Zucca, Luca Ciccone

Publication date: 20 June 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

induction coinduction inference systems

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types ⋮ Checked corecursive streams: expressivity and completeness

This page was built for publication:

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