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
Special issue: Selected papers based on the presentations at the ACM SIGPLAN workshop MEchanized reasoning about languages with varIable and names (MER\(\lambda\)IN 2003), Uppsala, Sweden, August 2003. - MaRDI portal

Special issue: Selected papers based on the presentations at the ACM SIGPLAN workshop MEchanized reasoning about languages with varIable and names (MER\(\lambda\)IN 2003), Uppsala, Sweden, August 2003. (Q875241)

From MaRDI portal





scientific article; zbMATH DE number 5142190
Language Label Description Also known as
English
Special issue: Selected papers based on the presentations at the ACM SIGPLAN workshop MEchanized reasoning about languages with varIable and names (MER\(\lambda\)IN 2003), Uppsala, Sweden, August 2003.
scientific article; zbMATH DE number 5142190

    Statements

    Special issue: Selected papers based on the presentations at the ACM SIGPLAN workshop MEchanized reasoning about languages with varIable and names (MER\(\lambda\)IN 2003), Uppsala, Sweden, August 2003. (English)
    0 references
    13 April 2007
    0 references

    Identifiers