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
Specifying Message Formats with Contiguity Types - MaRDI portal

Specifying Message Formats with Contiguity Types

From MaRDI portal

Publication:6099626

Jump to:navigation, search

DOI10.4230/lipics.itp.2021.30OpenAlexW3175461016MaRDI QIDQ6099626

Konrad Slind

Publication date: 20 June 2023

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2021/13925/pdf/LIPIcs-ITP-2021-30.pdf/

zbMATH Keywords

verification logic formal language theory message format languages

Mathematics Subject Classification ID

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

This page was built for publication: Specifying Message Formats with Contiguity Types

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