No label defined (Q3779717)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1985
0 references
Computer science
0 references
Proceedings
0 references
Symposium
0 references
Kyoto/Japan
0 references
nested heap
0 references
smoothsort
0 references
channel routings
0 references
parallel sort algorithms
0 references
mesh-connected processor array
0 references
deadlock detection
0 references
replicated database systems
0 references
concurrent processing controls
0 references
Query processing
0 references
distributed databases
0 references
conditional graphs
0 references
projection-association query
0 references
network databases
0 references
Redundant coding
0 references
local computability
0 references
parallel computation
0 references
time relations
0 references
logic current
0 references
map generation
0 references
Complexity
0 references
combinator reduction machine
0 references
Term-rewriting systems
0 references
automata network
0 references
PL/0
0 references
verification
0 references
communicating sequential process systems
0 references
complexity classes
0 references
set-partitioning
0 references
path covering problems
0 references
acyclic alternate graphs
0 references
graph packing
0 references
minimal closed sets
0 references
multivalued logic functions
0 references
semantics
0 references
infinite computations
0 references
logic programs
0 references
predicate logic
0 references
representations of knowledge
0 references
tuple logic
0 references
time-space modal logic
0 references
substitutive programs
0 references
