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

scientific article

From MaRDI portal

Publication:3750136

Jump to:navigation, search

zbMath0609.68059MaRDI QIDQ3750136

Douglas J. Howe

Publication date: 1986

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

zbMATH Keywords

formal reasoning proof construction Nuprl proof development system reasoning about computationally meaningful mathematics

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to number theory (11-04) Software, source code, etc. for problems pertaining to computer science (68-04)

Related Items (2)

Type theory and concurrency ⋮ Exploring abstract algebra in constructive type theory

Uses Software

Nuprl

This page was built for publication:

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