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
Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings - MaRDI portal

Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings

From MaRDI portal

Publication:1389771

Jump to:navigation, search

DOI10.1007/BFb0028003zbMath0891.00021MaRDI QIDQ1389771

No author found.

Publication date: 1 July 1998

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

zbMATH Keywords

Proceedings Workshop Aarhus (Denmark)Computer science logic CSL '97

Mathematics Subject Classification ID

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

Related Items (1)

Finite Variable Logics in Descriptive Complexity Theory

This page was built for publication: Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings

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