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
Conditional term rewriting systems. 1st international workshop. Orsay, France, July 8--10, 1987. Proceedings - MaRDI portal

Conditional term rewriting systems. 1st international workshop. Orsay, France, July 8--10, 1987. Proceedings

From MaRDI portal

Publication:1210789

Jump to:navigation, search

zbMath0639.00039MaRDI QIDQ1210789

No author found.

Publication date: 5 June 1993

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

zbMATH Keywords

Proceedings Workshop Rewriting systems Orsay (France)

Mathematics Subject Classification ID

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

Related Items (1)

Term Sequent Logic

This page was built for publication: Conditional term rewriting systems. 1st international workshop. Orsay, France, July 8--10, 1987. Proceedings

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