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
LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings - MaRDI portal

LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings

From MaRDI portal

Publication:1327712

Jump to:navigation, search

zbMath0865.00034MaRDI QIDQ1327712

No author found.

Publication date: 28 June 1994

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Proceedings Symposium St. Petersburg (Russia)Computer Science LFCS '94 Logical foundations

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

Problems in rewriting III

This page was built for publication: LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings

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