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 7730605 - MaRDI portal

scientific article; zbMATH DE number 7730605

From MaRDI portal

Publication:6134251

Jump to:navigation, search

DOI10.4230/lipics.concur.2021.3MaRDI QIDQ6134251

Unnamed Author, Pierre Ganty, Unnamed Author, Francesco Ranzato

Publication date: 21 August 2023

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

zbMATH Keywords

well-quasiorders \(\omega\)-language inclusion Büchi (pushdown) automata

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication:

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