scientific article

zbMATH Open0638.68005MaRDI QIDQ3779717

Author name not available (Why is that?)

Publication date: 1985

Title of this publication is not available (Why is that?)

zbMATH Keywords

verificationProceedingsComputer scienceSymposiumparallel computationComplexitysemanticslogic programspredicate logicdistributed databasescomplexity classesgraph packinginfinite computationsdeadlock detectionautomata networkKyoto/JapanQuery processingset-partitioningnetwork databasesmesh-connected processor arraysmoothsortmultivalued logic functionsminimal closed setslocal computabilityacyclic alternate graphschannel routingscombinator reduction machinecommunicating sequential process systemsconcurrent processing controlsconditional graphslogic currentmap generationnested heapparallel sort algorithmspath covering problemsPL/0projection-association queryRedundant codingreplicated database systemsrepresentations of knowledgesubstitutive programsTerm-rewriting systemstime relationstime-space modal logictuple logic

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 (9)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ The mathematical foundation of informatics. Proceedings of the conference, Hanoi, Vietnam, October 25--28, 1999 ⋮ Theoretical foundations of computer science: toward a paradigm for computing in the 21st century. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, January 31 -- February 2, 2000 ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3779717)